973e955ead
see: https://git-scm.com/docs/git-difftool see: https://git-scm.com/docs/git-mergetool * now all available tools are printed with "--tool-help" * if no diff.tool or merge.tool is defined the first available pre-defined tool is used TODO: - add mergetools to difftools --> extra change or merge to this - return the exit-code of the tool to jgit / java runtime Bug: 356832 Change-Id: I20fb04e71ced981f5625020f461bbac24e6cec70 Signed-off-by: Andre Bossert <andre.bossert@siemens.com> |
||
---|---|---|
.. | ||
.settings | ||
META-INF | ||
src/org/eclipse/jgit | ||
tst/org/eclipse/jgit/pgm | ||
.classpath | ||
.gitignore | ||
.project | ||
BUILD | ||
about.html | ||
build.properties | ||
org.eclipse.jgit.pgm--All-Tests (Java11) (de).launch | ||
org.eclipse.jgit.pgm--All-Tests (Java11).launch | ||
org.eclipse.jgit.pgm--All-Tests.launch | ||
plugin.properties | ||
pom.xml |