mirror of
https://github.com/git/git.git
synced 2025-12-18 12:00:25 +01:00
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
48 KiB
48 KiB