make official 4.2.5 release

This commit is contained in:
romjerome authored and Nick Hall committed 2016-12-15 21:55:19 +00:00
1 parent dc82105fa4
commit 077ca4a574
1 file changed
+1 -1
+1 -1
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"
#