diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-12-01 14:58:27 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-12-01 14:58:27 -0800 |
| commit | 8ef91f31f6606a0370b18943c3b0f089e04873f9 (patch) | |
| tree | 2bf27a3779a34fa4bf69dfc02e1fe1be848ea0d2 /git-update-index.html | |
| parent | 8ac8a3d8dd001611b77776fa19ef37c2c87cd987 (diff) | |
| download | git-htmldocs-8ef91f31f6606a0370b18943c3b0f089e04873f9.tar.gz | |
Autogenerated HTML docs for v2.24.0-308-g228f5
Diffstat (limited to 'git-update-index.html')
| -rw-r--r-- | git-update-index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-update-index.html b/git-update-index.html index ecd8d5ce0..56413cf8a 100644 --- a/git-update-index.html +++ b/git-update-index.html @@ -1379,7 +1379,7 @@ files are deleted if their modification time is older than what is specified by the splitIndex.sharedIndexExpire config variable (see
<a href="git-config.html">git-config(1)</a>).</p></div>
<div class="paragraph"><p>To avoid deleting a shared index file that is still used, its
-modification time is updated to the current time everytime a new split
+modification time is updated to the current time every time a new split
index based on the shared index file is either created or read from.</p></div>
</div>
</div>
@@ -1503,7 +1503,7 @@ ctime for marking files processed) (see <a href="git-config.html">git-config(1)< <div id="footer">
<div id="footer-text">
Last updated
- 2019-11-11 13:29:13 JST
+ 2019-12-01 14:55:34 PST
</div>
</div>
</body>
|