chiark / gitweb /
New service names: wiki, db, ntp{,1}, and wpad.
-rw-r--r-- 74 .gitignore
-rw-r--r-- 3076 Makefile.m4
-rw-r--r-- 3007 distorted.lisp
-rw-r--r-- 16779 distorted.tex
-rw-r--r-- 445 harlequin.lisp
-rw-r--r-- 229 hosts.lisp