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-log.html | |
parent | f09b7cd0fc08d1df0fbd5c756672772049836b7a (diff) | |
download | git-htmldocs-bfd91f4e89b5ab0f4238e1bfb7bd0e2a82adc225.tar.gz |
Autogenerated HTML docs for v2.18.0-748-gfa03c
Diffstat (limited to 'git-log.html')
-rw-r--r-- | git-log.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/git-log.html b/git-log.html index 1e6f3a056..10b43ce78 100644 --- a/git-log.html +++ b/git-log.html @@ -3288,13 +3288,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>
|