diff options
| author | Junio C Hamano <gitster@pobox.com> | 2013-05-17 16:34:02 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-05-17 16:34:02 -0700 |
| commit | 3d1b5a1ebc2e4d9c3323a8f2b1fac732562968b5 (patch) | |
| tree | 49e1d04b52edbaa0b3d2fc549ad3cdbe30f9e1ee /git-difftool.html | |
| parent | ba7fe50148ec50de8394e1fe0f672c47bf6d4c17 (diff) | |
| download | git-htmldocs-3d1b5a1ebc2e4d9c3323a8f2b1fac732562968b5.tar.gz | |
Autogenerated HTML docs for v1.8.3-rc3
Diffstat (limited to 'git-difftool.html')
| -rw-r--r-- | git-difftool.html | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/git-difftool.html b/git-difftool.html index c9e25b610..221505c4c 100644 --- a/git-difftool.html +++ b/git-difftool.html @@ -842,10 +842,7 @@ with custom merge tool commands and has the same value as <code>$MERGED</code>.< </p>
</dd>
<dt class="hdlist1">
---symlinks
-</dt>
-<dt class="hdlist1">
---no-symlinks
+--[no-]symlinks
</dt>
<dd>
<p>
@@ -980,7 +977,7 @@ difftool.prompt <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2013-03-28 16:23:57 PDT
+Last updated 2013-05-17 16:33:07 PDT
</div>
</div>
</body>
|