log tests/run-tests.py @ 2567:2748253b49c2

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.