diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-03-20 11:34:16 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-03-20 11:34:16 +0200 |
| commit | 4cc966d1468f6ce59600517e44d4817c0905210f (patch) | |
| tree | 007d428f91cb66fa323e6726fcdbab7cd7359ae0 /doc/manual.cli | |
| parent | ecffe5ab30a72a9b9e5909926d507213e123b0e1 (diff) | |
Use 12 instead of 16-characters for abbreviated git commit id
This should help a bit with long paths on Windows.
Diffstat (limited to 'doc/manual.cli')
0 files changed, 0 insertions, 0 deletions