diff options
| author | Junio C Hamano <gitster@pobox.com> | 2018-03-21 19:30:10 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-03-21 19:30:10 +0100 |
| commit | beb2cdf5041104a7513301a9b20944a617eec94e (patch) | |
| tree | 6f44e7c048bc9857025235064b956a5d1d53ee25 /Documentation/howto-index.sh | |
| parent | Merge branch 'ma/config-page-only-in-list-mode' (diff) | |
| parent | write_locked_index(): add flag to avoid writing unchanged index (diff) | |
| download | git-beb2cdf5041104a7513301a9b20944a617eec94e.tar.xz git-beb2cdf5041104a7513301a9b20944a617eec94e.zip | |
Merge branch 'ma/skip-writing-unchanged-index'
Internal API clean-up to allow write_locked_index() optionally skip
writing the in-core index when it is not modified.
* ma/skip-writing-unchanged-index:
write_locked_index(): add flag to avoid writing unchanged index
Diffstat (limited to 'Documentation/howto-index.sh')
0 files changed, 0 insertions, 0 deletions