diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-02-12 13:41:37 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-02-12 13:41:37 -0800 |
| commit | b7e497f81b86f5ab135de8db416ff0b2d7796546 (patch) | |
| tree | e243986f24bbf00a72958e0d252b6f65db091bb7 /git-filter-branch.html | |
| parent | dac867775900042e677de3ba4969a64f9582c95f (diff) | |
| download | git-htmldocs-b7e497f81b86f5ab135de8db416ff0b2d7796546.tar.gz | |
Autogenerated HTML docs for v2.25.0-232-gd8437
Diffstat (limited to 'git-filter-branch.html')
| -rw-r--r-- | git-filter-branch.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/git-filter-branch.html b/git-filter-branch.html index 299ac587a..72ba381dd 100644 --- a/git-filter-branch.html +++ b/git-filter-branch.html @@ -1280,9 +1280,9 @@ impossible for a backward-compatible implementation to ever be fast:</p></div> <p>
In editing files, git-filter-branch by design checks out each and
every commit as it existed in the original repo. If your repo has
- 10^5 files and 10^5 commits, but each commit only modifies 5
- files, then git-filter-branch will make you do 10^10 modifications,
- despite only having (at most) 5*10^5 unique blobs.
+ <code>10^5</code> files and <code>10^5</code> commits, but each commit only modifies five
+ files, then git-filter-branch will make you do <code>10^10</code> modifications,
+ despite only having (at most) <code>5*10^5</code> unique blobs.
</p>
</li>
<li>
@@ -1626,7 +1626,7 @@ To top it all off, even when users finally find working commands, <div id="footer">
<div id="footer-text">
Last updated
- 2019-12-25 13:09:50 PST
+ 2020-02-12 13:38:42 PST
</div>
</div>
</body>
|