Skip to main content

Browse the archive

Revision 53f9a3e157dbbc901a02ac2c73346d375e24978c authored by Junio C Hamano on 21 June 2018, 17:00:06 UTC, committed by Junio C Hamano on 21 June 2018, 17:00:06 UTC 
Git 2.18
 
Signed-off-by: Junio C Hamano <gitster@pobox.com>
1 parent 1fb9df7
Raw File
diffuse 
diff_cmd () {
	"$merge_tool_path" "$LOCAL" "$REMOTE" | cat
}

merge_cmd () {
	if $base_present
	then
		"$merge_tool_path" \
			"$LOCAL" "$MERGED" "$REMOTE" \
			"$BASE" | cat
	else
		"$merge_tool_path" \
			"$LOCAL" "$MERGED" "$REMOTE" | cat
	fi
}
back to top