?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
Open external merge tool with original file extensions for all three files
2007-12-06 Pini ReznikOpen external merge tool with original file extensions...
Signed-off-by: Pini Reznik <pinir@expand.com>
 commit | commitdiff | tree
git with Jakub Narębski modifications