Mon, 18 Jun 2012 17:15:04 +0200 Pierre-Yves David README: some more changes
Mon, 18 Jun 2012 17:12:11 +0200 Pierre-Yves David merge with Arne changes
Tue, 12 Jun 2012 13:28:39 +0200 Patrick Mezard amend: do not traceback on no-ops
(0) -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip