diff options
author | Dmitrij D. Czarkoff <czarkoff@gmail.com> | 2016-11-22 15:55:45 +0100 |
---|---|---|
committer | Dmitrij D. Czarkoff <czarkoff@gmail.com> | 2016-11-22 15:55:45 +0100 |
commit | 8febdbbd354868f23725124eb2b657d946a18607 (patch) | |
tree | 0e208598149db1aff16e5ba965d23d3fe43ab58f /files | |
parent | 9aea3f0ddad87cc97f246161075d249177aeae46 (diff) | |
download | imv-8febdbbd354868f23725124eb2b657d946a18607.tar.gz |
Simplify VERSION handling
Also, use default abbreviation length, so that abbreviated object name in
VERSION would match github's display of commit IDs.
Diffstat (limited to 'files')
0 files changed, 0 insertions, 0 deletions