chiark / gitweb /
remove a thing that ought to have been deleted
-rw-r--r-- 6 .gitignore
-rw-r--r-- 402 Makefile
-rw-r--r-- 2603 fabricia.md
-rw-r--r-- 741 kennocht-notes.md
-rw-r--r-- 5064 kennocht.md
-rwxr-xr-x 1129 total-checker