chiark / gitweb /
from notes from session
-rw-r--r-- 6 .gitignore
-rw-r--r-- 402 Makefile
-rw-r--r-- 2650 fabricia.md
-rw-r--r-- 741 kennocht-notes.md
-rw-r--r-- 4935 kennocht.md
-rwxr-xr-x 1129 total-checker