Oops. I was using an older email address for Neil -- now he uses the $USERPLUS
[mmh] / config /
drwxr-xr-x   ..
-rw-r--r-- 1739 Makefile.in
-rw-r--r-- 8041 config.c
-rwxr-xr-x 756 version.sh