New suggestion from Martyn
treec739e3b01406adc14c8e8a8200502beb639ad106
-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 5748 safe-rm