chiark / gitweb /
Tidy up another $basepath/$dot
-rw-r--r-- 3 .gitignore
-rw-r--r-- 115 Makefile
drwxr-xr-x - dot
drwxr-xr-x - infra