chiark / gitweb /
remove comment markers now it's a text file
-rw-r--r-- 3 .gitignore
-rw-r--r-- 6363 DESIGN
-rw-r--r-- 650 RATIONALE