summaryrefslogtreecommitdiffstats
path: root/git-mergetool.html
diff options
context:
space:
mode:
authorJunio C Hamano <junio@hera.kernel.org>2008-12-10 08:35:25 +0000
committerJunio C Hamano <junio@hera.kernel.org>2008-12-10 08:35:25 +0000
commitec87f52676ecc7be43d1d7740a679a42b3192a01 (patch)
treeb8f74c54892b5aab6da3073eafc5216d05a2c174 /git-mergetool.html
parentb4028862764a27387da066ed28437f51376835cd (diff)
downloadgit-htmldocs-ec87f52676ecc7be43d1d7740a679a42b3192a01.tar.gz
Autogenerated HTML docs for v1.6.1-rc2-14-g5363d
Diffstat (limited to 'git-mergetool.html')
-rw-r--r--git-mergetool.html6
1 files changed, 3 insertions, 3 deletions
diff --git a/git-mergetool.html b/git-mergetool.html
index 41d156bc7..7bbcd0be7 100644
--- a/git-mergetool.html
+++ b/git-mergetool.html
@@ -352,7 +352,7 @@ configuration variable <tt>mergetool.&lt;tool&gt;.path</tt>. For example, you
can configure the absolute path to kdiff3 by setting
<tt>mergetool.kdiff3.path</tt>. Otherwise, <em>git-mergetool</em> assumes the
tool is available in PATH.</p></div>
-<div class="para"><p>Instead of running one of the known merge tool programs
+<div class="para"><p>Instead of running one of the known merge tool programs,
<em>git-mergetool</em> can be customized to run an alternative program
by specifying the command line to invoke in a configuration
variable <tt>mergetool.&lt;tool&gt;.cmd</tt>.</p></div>
@@ -367,7 +367,7 @@ contents of the file to be merged, and <tt>$MERGED</tt> set to the name
of the file to which the merge tool should write the result of the
merge resolution.</p></div>
<div class="para"><p>If the custom merge tool correctly indicates the success of a
-merge resolution with its exit code then the configuration
+merge resolution with its exit code, then the configuration
variable <tt>mergetool.&lt;tool&gt;.trustExitCode</tt> can be set to <tt>true</tt>.
Otherwise, <em>git-mergetool</em> will prompt the user to indicate the
success of the resolution after the custom tool has exited.</p></div>
@@ -388,7 +388,7 @@ success of the resolution after the custom tool has exited.</p></div>
</div>
<div id="footer">
<div id="footer-text">
-Last updated 2008-10-31 11:28:41 UTC
+Last updated 2008-12-10 08:33:20 UTC
</div>
</div>
</body>