use git to compute version number or devel if no git
This commit is contained in:
parent
4db1146f6c
commit
0fe746e425
Loading…
Reference in New Issue