Mon, 18 Jun 2012 14:35:49 +0200 added “pull here is OK, too” to the README.
Arne Babenhauserheide <bab@draketo.de> [Mon, 18 Jun 2012 14:35:49 +0200] rev 261
added “pull here is OK, too” to the README.
Wed, 06 Jun 2012 16:13:44 +0200 evolve: fix stabilize --any short option
Patrick Mezard <patrick@mezard.eu> [Wed, 06 Jun 2012 16:13:44 +0200] rev 260
evolve: fix stabilize --any short option It was displayed as --A instead of -A.
(0) -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 tip