diff options
author | Junio C Hamano <gitster@pobox.com> | 2017-09-25 16:24:53 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-09-25 16:24:53 +0900 |
commit | d4bbec033e244d5d84e1889f00a9b2d74a0fcab6 (patch) | |
tree | 6a617685ae6c5766e88b3fd3e1911ab42db1aa9b /git-update-index.html | |
parent | 8d57fa9fe6ea559b6e39c049c77c54f0ae0a32c3 (diff) | |
download | git-htmldocs-d4bbec033e244d5d84e1889f00a9b2d74a0fcab6.tar.gz |
Autogenerated HTML docs for v2.14.1-802-g28996
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 a03b6aa16..03d6f707d 100644 --- a/git-update-index.html +++ b/git-update-index.html @@ -1004,7 +1004,7 @@ you will need to handle the situation manually.</p></div> </p>
<div class="paragraph"><p>Version 4 performs a simple pathname compression that reduces index
size by 30%-50% on large repositories, which results in faster load
-time. Version 4 is relatively young (first released in in 1.8.0 in
+time. Version 4 is relatively young (first released in 1.8.0 in
October 2012). Other Git implementations such as JGit and libgit2
may not support it yet.</p></div>
</dd>
@@ -1418,7 +1418,7 @@ ctime for marking files processed) (see <a href="git-config.html">git-config(1)< <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2017-09-10 17:38:46 JST
+Last updated 2017-09-25 16:24:34 JST
</div>
</div>
</body>
|