]> diplodocus.org Git - nmh/history - etc/mhl.headers
Sigh. Mention that we have to do both a "git push" and a "git push --tags".
[nmh] / etc / mhl.headers
1999-04-30 Doug MorrisInitial revision