diff hgext/hgk.py @ 42030:6ae1a776dd1a

debugdiscovery: allow to select random seed during debugdiscovery run The randomness can lead to large timing difference, controling it is important.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Tue, 26 Mar 2019 14:02:40 +0100
parents c303d65d2e34
children 2372284d9457
line wrap: on
line diff