chiark / gitweb /
In messages, use $prhome, not $dot
-rw-r--r-- 3 .gitignore
-rw-r--r-- 115 Makefile
drwxr-xr-x - dot
drwxr-xr-x - infra