Nick Mathewson 43f163de80 Practracker: improve exclude-directory logic ... Instead of excluding directories at the last minute if they happen to appear in our filenames, we exclude them early, before recursing into all their subdirectories. Part of 29746.		2019-07-17 14:33:49 +02:00
..
exceptions.txt	Merge branch 'tor-github/pr/1152'	2019-07-04 17:14:06 +03:00
metrics.py	Practracker: allow tabs in include lines	2019-07-17 14:33:49 +02:00
practracker.py	Pracktracker: give the number of new errors found.	2019-07-17 14:33:49 +02:00
practracker_tests.py	Practracker: allow tabs in include lines	2019-07-17 14:33:49 +02:00
problem.py	practracker: add ability to regenerate exceptions file.	2019-03-25 16:09:11 -04:00
util.py	Practracker: improve exclude-directory logic	2019-07-17 14:33:49 +02:00