diff options
author | P. J. McDermott <pj@pehjota.net> | 2016-01-23 15:41:27 (EST) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2016-01-23 15:47:09 (EST) |
commit | 9dd2ae5dc265d936b8d5a637bb2cbc007b3df878 (patch) | |
tree | 93b57df6655a1598ee3592cd7c433958489401bb /.gitignore | |
parent | d50d3b6042d92798b52806127023f07560ee4be8 (diff) |
Makefile.am: Generate and use version.sh
Also, update manual pages any time the Git HEAD changes.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions