Code

Merge branch 'pr/mergetool'
authorJunio C Hamano <gitster@pobox.com>
Sun, 9 Dec 2007 09:01:50 +0000 (01:01 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 9 Dec 2007 09:01:50 +0000 (01:01 -0800)
* pr/mergetool:
  Open external merge tool with original file extensions for all three files


Trivial merge