diff options
| author | Junio C Hamano <gitster@pobox.com> | 2018-08-17 15:21:16 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-08-17 15:21:16 -0700 |
| commit | bfd91f4e89b5ab0f4238e1bfb7bd0e2a82adc225 (patch) | |
| tree | c33af60aaec3db5022000bba743acc5c95314c23 /git-diff-tree.html | |
| parent | f09b7cd0fc08d1df0fbd5c756672772049836b7a (diff) | |
| download | git-htmldocs-bfd91f4e89b5ab0f4238e1bfb7bd0e2a82adc225.tar.gz | |
Autogenerated HTML docs for v2.18.0-748-gfa03c
Diffstat (limited to 'git-diff-tree.html')
| -rw-r--r-- | git-diff-tree.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/git-diff-tree.html b/git-diff-tree.html index 040c83812..af63af8c9 100644 --- a/git-diff-tree.html +++ b/git-diff-tree.html @@ -1215,13 +1215,14 @@ zebra </p>
</dd>
<dt class="hdlist1">
-dimmed_zebra
+dimmed-zebra
</dt>
<dd>
<p>
Similar to <em>zebra</em>, but additional dimming of uninteresting parts
of moved code is performed. The bordering lines of two adjacent
blocks are considered interesting, the rest is uninteresting.
+ <code>dimmed_zebra</code> is a deprecated synonym.
</p>
</dd>
</dl></div>
|