make official 4.2.5 release
This commit is contained in:
parent
dc82105fa4
commit
35ceba1e4d
@ -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"
|
||||
|
||||
#
|
||||
|
Loading…
Reference in New Issue
Block a user