Skip to content

Set HAVE_GIT_VERSION to TRUE if it is a git repository#1876

Merged
seisman merged 2 commits into6.0from fix-releaseOct 22, 2019

Commits

Commits on Oct 22, 2019