def get_version()

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