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.
Thu, 08 Jun 2006 14:56:40 +0200 Thomas Arendsen Hein Don't run tests with dots in their name (e.g. test-foo.orig)
Thu, 11 May 2006 14:06:18 +0200 Benoit Boissinot catch KeyboardInterrupt in run-tests