diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-03-20 14:01:38 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-03-20 14:01:38 +0200 |
| commit | 10ec1ac16b5ec2577b94e8311e48ee3c7db9fb78 (patch) | |
| tree | c23d7edabe624448b20b835af74bcea81cdf39bd /doc/.gitignore | |
| parent | 4cc966d1468f6ce59600517e44d4817c0905210f (diff) | |
Come up with better version for uncommitted snapshots
Instead of leaving it as .z we now take the date of the previous commit and
increment it by a second. The main benefit of doing it this way is that once
committed, the new version does not "jump back" behind .z.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions