Hi, On Sun, 17 Feb 2008, Charles Bailey wrote: > On Sat, Feb 16, 2008 at 11:37:31PM +0100, Steffen Prohaska wrote: > > > Why not just add the tools you have in mind to git mergetool? If > > everyone did that eventually we would have direct support for a rather > > long list of tools. This would be the easiest solution for the end > > user: He could just choose the preferred tool and use it. The > > invocation of each merge tool would be coded in mergetool. The exact > > command line could be fine tuned and would be reviewed by other git > > developers. > > > > I have to disagree with this approach. So you'd rather have the end users do the same work for the same tool over and over again? Ciao, Dscho - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
