in tools/get_version.py [0:0]
def get_version(): sha = get_sha() version = open('version.txt', 'r').read().strip() if sha != 'Unknown': version += '+' + sha[:7] return version