diff options
| author | Junio C Hamano <gitster@pobox.com> | 2016-06-27 11:05:05 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-06-27 11:05:05 -0700 |
| commit | 042f2148898f2f73342c586887b252715dd8af8a (patch) | |
| tree | 186d91f728919ef22f36d69ad4f555e3cb5277ff /git-diff.html | |
| parent | fedb1b428f68e8626c38f0aef57a8379e58f3241 (diff) | |
| download | git-htmldocs-042f2148898f2f73342c586887b252715dd8af8a.tar.gz | |
Autogenerated HTML docs for v2.9.0-137-gcf4c2
Diffstat (limited to 'git-diff.html')
| -rw-r--r-- | git-diff.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-diff.html b/git-diff.html index c6a51d4a0..f24e58fd0 100644 --- a/git-diff.html +++ b/git-diff.html @@ -2027,7 +2027,7 @@ with a <em>-p</em> option, "git diff" without the <em>--raw</em> option, or "git log" with the "-p" option, they
do not produce the output described above; instead they produce a
patch file. You can customize the creation of such patches via the
-GIT_EXTERNAL_DIFF and the GIT_DIFF_OPTS environment variables.</p></div>
+<code>GIT_EXTERNAL_DIFF</code> and the <code>GIT_DIFF_OPTS</code> environment variables.</p></div>
<div class="paragraph"><p>What the -p option produces is slightly different from the traditional
diff format:</p></div>
<div class="olist arabic"><ol class="arabic">
|