bugs.txt can select on test dir as well
authorRobert Bradshaw <robertwb@math.washington.edu>
Fri, 15 Jan 2010 00:33:10 +0000 (16:33 -0800)
committerRobert Bradshaw <robertwb@math.washington.edu>
Fri, 15 Jan 2010 00:33:10 +0000 (16:33 -0800)
commit5ce30f5b276ecca2d4e89b2648d90b9a14f420b2
treee2792aff4d0ab65be77a749e2f0f5749c287323d
parent2bc8d9cbf2820b8e7e193d15127125ffb5006641
bugs.txt can select on test dir as well
runtests.py
tests/bugs.txt