Merge branch 'master' of /home/mdw/public-git/strayman
-rw-r--r-- 213 .cvsignore
-rw-r--r-- 269 .gitignore
-rw-r--r-- 16 .links
-rw-r--r-- 219 .skelrc
-rw-r--r-- 2120 Makefile.m4
-rw-r--r-- 1203 configure.in
-rw-r--r-- 78629 strayman.dtx
-rw-r--r-- 1782 strayman.ins