diff options
author | tgingold <tgingold@users.noreply.github.com> | 2016-12-11 07:19:54 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-11 07:19:54 +0100 |
commit | abc2498fb436c7405eda0dc1ec858fcd0584ebe9 (patch) | |
tree | 78b359de105514050697ce96945b5810f92bcf6b /src | |
parent | 11b88a9ce1e48c3019c7dd4910a73e76ee33f08a (diff) | |
parent | aec08861c8c24b546be9d95bde3fe3d50926bac0 (diff) | |
download | ghdl-abc2498fb436c7405eda0dc1ec858fcd0584ebe9.tar.gz ghdl-abc2498fb436c7405eda0dc1ec858fcd0584ebe9.tar.bz2 ghdl-abc2498fb436c7405eda0dc1ec858fcd0584ebe9.zip |
Merge pull request #217 from Paebbels/paebbels/docs-version
Get documentation version from latest Git tag.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions