chiark / gitweb /
Cope with directories
-rw-r--r-- 3 .gitignore
-rw-r--r-- 85 Makefile
drwxr-xr-x - dot
drwxr-xr-x - infra