log tests/run-tests.py @ 2573:82e3b2966862

age author description
Thu, 08 Jun 2006 15:06:31 +0200 Thomas Arendsen Hein Fix diff header (line endings) for failed test output in run-tests.py.