diff tests/run-tests.py @ 278:fa0b9b8a83c0

obsolete: add or fix debug commands help
author Patrick Mezard <patrick@mezard.eu>
date Tue, 19 Jun 2012 10:24:47 +0200
parents aa0870d093b8
children 6ee7add34f8b
line wrap: on
line diff