chiark / gitweb /
greyout is good
-rw-r--r-- 62 .gitignore
-rw-r--r-- 2633 Makefile
-rw-r--r-- 620 conflict.txt
-rw-r--r-- 8614 dm.fig
-rwxr-xr-x 187 greyout
-rw-r--r-- 960 junk
-rw-r--r-- 17001 talk.txt
-rwxr-xr-x 429 txt2ps
-rw-r--r-- 1158 usps.md