]> diplodocus.org Git - nmh/tree - config/
Sigh. Mention that we have to do both a "git push" and a "git push --tags".
[nmh] / config /
drwxr-xr-x   ..
-rw-r--r-- 7858 config.c
-rwxr-xr-x 747 version.sh