git.99rst.org
/
git.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
beed7e2
ca598d5
)
Merge branch 'bp/fsmonitor-prime-index'
author
Junio C Hamano
<redacted>
Wed, 25 Apr 2018 04:29:04 +0000
(13:29 +0900)
committer
Junio C Hamano
<redacted>
Wed, 25 Apr 2018 04:29:04 +0000
(13:29 +0900)
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
1
2
fsmonitor.c
patch
|
diff1
|
diff2
|
blob
|
history
diff --cc
fsmonitor.c
Simple merge
git clone https://git.99rst.org/PROJECT