Sat, 25 Aug 2012 08:51:37 +0200 evolve: factor out copy/paste in obssummary() stable
Patrick Mezard <patrick@mezard.eu> [Sat, 25 Aug 2012 08:51:37 +0200] rev 513
evolve: factor out copy/paste in obssummary()
Sat, 25 Aug 2012 08:30:02 +0200 evolve: avoid 'any' argument name in _picknexttroubled() stable
Patrick Mezard <patrick@mezard.eu> [Sat, 25 Aug 2012 08:30:02 +0200] rev 512
evolve: avoid 'any' argument name in _picknexttroubled()
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 tip