diff options
author | Denton Liu <liu.denton@gmail.com> | 2018-10-24 12:25:31 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-10-25 14:01:10 +0900 |
commit | 063f2bdbf767dd24bc0a35b5476d8025ee8646c7 (patch) | |
tree | 98d9c98da418e0193b7c541b191af809529e9264 /environment.c | |
parent | Fifth batch for 2.20 (diff) | |
download | tgif-063f2bdbf767dd24bc0a35b5476d8025ee8646c7.tar.xz |
mergetool: accept -g/--[no-]gui as arguments
In line with how difftool accepts a -g/--[no-]gui option, make mergetool
accept the same option in order to use the `merge.guitool` variable to
find the default mergetool instead of `merge.tool`.
Signed-off-by: Denton Liu <liu.denton@gmail.com>
Signed-off-by: Anmol Mago <anmolmago@gmail.com>
Signed-off-by: Brian Ho <briankyho@gmail.com>
Signed-off-by: David Lu <david.lu97@outlook.com>
Signed-off-by: Ryan Wang <shirui.wang@hotmail.com>
Acked-by: David Aguilar <davvid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'environment.c')
0 files changed, 0 insertions, 0 deletions