diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-08-11 12:27:38 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-08-11 12:27:38 +0100 |
| commit | 0d5d16074ff1aa1cb264db2d514a51e7a7d34ad6 (patch) | |
| tree | 11e45efa30bbdd299f8ff85135c11fc5c6a1b107 /docs/conf.py | |
| parent | 7027fd53438f36cdfc417df4b667575671a1c857 (diff) | |
py/makeversionhdr.py: Fallback to using docs version if no git repo.
Addresses issue #1420.
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions