Mercurial > hg
log
age | author | description |
---|---|---|
Tue, 16 Apr 2019 01:16:39 +0200 | Georges Racinet | rust-discovery: using the children cache in add_missing |
Tue, 21 May 2019 17:44:15 +0200 | Georges Racinet | discovery: new devel.discovery.randomize option |
Tue, 21 May 2019 17:43:55 +0200 | Georges Racinet | rust-discovery: optionally don't randomize at all, for tests |