4525 remove last vestiges of tonic
tree2d61b9dacc9229da6f06a71d476dc70dda600c5c
-rw-r--r-- 509 .gitignore
-rw-r--r-- 917 .hgignore
-rw-r--r-- 6465 .hgtags
-rw-r--r-- 1949 README
drwxr-xr-x - exception_lists
drwxr-xr-x - usr