Skip to main content

Browse the archive

Revision 1c52ecf4ba0f4f7af72775695fee653f50737c71 authored by Junio C Hamano on 14 December 2020, 18:30:05 UTC, committed by Junio C Hamano on 14 December 2020, 18:30:05 UTC 
Git 2.30-rc0
 
Signed-off-by: Junio C Hamano <gitster@pobox.com>
1 parent 3fc7fc1
Raw File
diffmerge 
diff_cmd () {
	"$merge_tool_path" "$LOCAL" "$REMOTE" >/dev/null 2>&1
}

merge_cmd () {
	if $base_present
	then
		"$merge_tool_path" --merge --result="$MERGED" \
			"$LOCAL" "$BASE" "$REMOTE"
	else
		"$merge_tool_path" --merge \
			--result="$MERGED" "$LOCAL" "$REMOTE"
	fi
}

exit_code_trustable () {
	true
}
back to top