tests/run-tests.py
Mon, 16 May 2011 21:54:43 +0200 Patrick Mezard run-tests: make --debug run in the temporary test directory stable
less more (0) -30 -10 -1 tip