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 /3rdparty/local.mk | |
| parent | d50d3b6042d92798b52806127023f07560ee4be8 (diff) | |
Makefile.am: Generate and use version.sh
Also, update manual pages any time the Git HEAD changes.
Diffstat (limited to '3rdparty/local.mk')
0 files changed, 0 insertions, 0 deletions