I found a bug while talking to Martyn
tree1ac6d0afd344fba54105101c6db613e13571bf07
-rw-r--r-- 247 .cil
-rw-r--r-- 18 .gitignore
-rw-r--r-- 35068 COPYING
-rw-r--r-- 895 Changes
-rw-r--r-- 389 INSTALL
-rw-r--r-- 314 Makefile
-rw-r--r-- 39 Manifest
-rw-r--r-- 2340 README
-rw-r--r-- 406 RELEASING
drwxr-xr-x - issues
-rwxr-xr-x 6178 safe-rm