Merge branch 'mg/killed-merge' into maint
[git/debian.git] / mergetools / kdiff3
blob0264ed5b20b29fec0fc5586408f88b0e8755d212
1 diff_cmd () {
2         "$merge_tool_path" \
3                 --L1 "$MERGED (A)" --L2 "$MERGED (B)" \
4                 "$LOCAL" "$REMOTE" >/dev/null 2>&1
7 merge_cmd () {
8         if $base_present
9         then
10                 "$merge_tool_path" --auto \
11                         --L1 "$MERGED (Base)" \
12                         --L2 "$MERGED (Local)" \
13                         --L3 "$MERGED (Remote)" \
14                         -o "$MERGED" "$BASE" "$LOCAL" "$REMOTE" \
15                 >/dev/null 2>&1
16         else
17                 "$merge_tool_path" --auto \
18                         --L1 "$MERGED (Local)" \
19                         --L2 "$MERGED (Remote)" \
20                         -o "$MERGED" "$LOCAL" "$REMOTE" \
21                 >/dev/null 2>&1
22         fi
25 exit_code_trustable () {
26         true