7805 want faster clock_gettime (fix clean)
treeaeb41d1f9d34ec7de69bbe6b0fa808c28c6f3d85
-rw-r--r-- 573 .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