chiark / gitweb /
makelinks script seems to work
-rw-r--r-- 3 .gitignore
-rw-r--r-- 85 Makefile
drwxr-xr-x - infra