log tests/run-tests.py @ 2557:1727ff712a4e

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.