chiark / gitweb /
test suite: editing a test script overrides DGIT_TESTS_PROGRESSIVE.