make official 4.2.5 release

This commit is contained in:
romjerome 2016-12-15 16:45:15 +01:00
parent 68f54f9b08
commit 77ccb1770b

View File

@ -132,7 +132,7 @@ sys.path.insert(0, ROOT_DIR)
git_revision = get_git_revision(ROOT_DIR)
if sys.platform == 'win32' and git_revision == "":
git_revision = get_git_revision(os.path.split(ROOT_DIR)[1])
VERSION += git_revision
#VERSION += git_revision
#VERSION += "-1"
#