Remove the dependency on Readonly
treef3e92bf28f59c1771d16ac5c912c00630a5b65a5
-rw-r--r-- 300 .cil
-rw-r--r-- 18 .gitignore
-rw-r--r-- 35068 COPYING
-rw-r--r-- 947 Changes
-rw-r--r-- 389 INSTALL
-rw-r--r-- 314 Makefile
-rw-r--r-- 39 Manifest
-rw-r--r-- 2369 README
-rw-r--r-- 430 RELEASING
-rw-r--r-- 1136 TESTING
drwxr-xr-x - issues
-rwxr-xr-x 5903 safe-rm