Merge branch 'rr/mergetool-temporary-filename-tweak' into pu
commitaf58873c6a99c288affc73c6950579aca371f346
authorJunio C Hamano <gitster@pobox.com>
Mon, 25 Aug 2014 21:09:00 +0000 (25 14:09 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 25 Aug 2014 21:09:00 +0000 (25 14:09 -0700)
tree38f8fabfea395c79ac2932b544e23094ae300717
parent116bac128bb8607c2042fffc8919667bff588344
parent7786cc91bb2edb14db56589b9c59f3ee294ac49b
Merge branch 'rr/mergetool-temporary-filename-tweak' into pu

* rr/mergetool-temporary-filename-tweak:
  Allow the user to change the temporary file name for mergetool
Documentation/config.txt
Documentation/git-mergetool.txt
git-mergetool.sh