log tests/run-tests.py @ 2409:4068d6a7a99e

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.