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.
Tue, 05 Jun 2012 22:24:24 +0200 tutorial: zsh fix
Pierre-Yves David <pierre-yves.david@ens-lyon.org> [Tue, 05 Jun 2012 22:24:24 +0200] rev 259
tutorial: zsh fix
(0) -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 tip