diff options
| author | Andre Bossert <andre.bossert@siemens.com> | 2020-01-19 20:52:56 +0100 |
|---|---|---|
| committer | Andrey Loskutov <loskutov@gmx.de> | 2022-05-25 13:52:04 +0200 |
| commit | 85734356351ec2df4067b2472a37f6d9bcbb7350 (patch) | |
| tree | 0596c7e5a59bfdbe37f1fb5456c755ec9a823580 /org.eclipse.jgit.ant/resources | |
| parent | 24171b05f0db8487d0a1dc40072cc313bb6e2087 (diff) | |
| download | jgit-85734356351ec2df4067b2472a37f6d9bcbb7350.tar.gz jgit-85734356351ec2df4067b2472a37f6d9bcbb7350.zip | |
Add command line support for "git mergetool"
see: https://git-scm.com/docs/git-mergetool
see: https://git-scm.com/docs/git-config
* add command line support for "git mergetool"
* add option handling for "--tool-help", "--tool=<mytool>",
"--[no-]prompt", "--[no-]gui"
* handle prompt
* add MergeTools
* add pre-defined mergetools
* print merge actions --> no execute, will be done later
Bug: 356832
Change-Id: I6e505ffc3d03f75ecf4bba452a25d25dfcf5793f
Signed-off-by: Andre Bossert <andre.bossert@siemens.com>
Diffstat (limited to 'org.eclipse.jgit.ant/resources')
0 files changed, 0 insertions, 0 deletions