9197 tools/quick scripts broken after 8685
tree13e637090501b184833714d9563acb4f53ebe71d
-rw-r--r-- 573 .gitignore
-rw-r--r-- 6465 .hgtags
-rw-r--r-- 1949 README
drwxr-xr-x - exception_lists
drwxr-xr-x - usr