diff options
| author | Junio C Hamano <gitster@pobox.com> | 2018-04-25 13:29:04 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-04-25 13:29:04 +0900 |
| commit | 7a79d7e9fb187f17515053f616d3eca13c9c1585 (patch) | |
| tree | ca574140647f943b6149148be3b889c257f8e71d /commit.c | |
| parent | beed7e22fdc81ba325c4bfaadf84d23f5c697d93 (diff) | |
| parent | ca598d5f2ab988935a5b882b44122cbfa5fd99f5 (diff) | |
Merge branch 'bp/fsmonitor-prime-index'
The index file is updated to record the fsmonitor section after a
full scan was made, to avoid wasting the effort that has already
spent.
* bp/fsmonitor-prime-index:
fsmonitor: force index write after full scan
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions