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 /src | |
| 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 'src')
0 files changed, 0 insertions, 0 deletions