chiark / gitweb /
Merge branch 'deploy' into deploy.gibson
-rw-r--r-- 110 .gitignore
-rw-r--r-- 207 .skelrc
-rw-r--r-- 22662 Makefile
-rw-r--r-- 227 README
drwxr-xr-x - bin
drwxr-xr-x - etc
-rw-r--r-- 238 local.mk
drwxr-xr-x - pkg
drwxr-xr-x - src