mirror of
https://github.com/git/git.git
synced 2024-10-20 22:48:24 +02:00
11 lines
191 B
Plaintext
11 lines
191 B
Plaintext
|
diff_cmd () {
|
||
|
"$merge_tool_path" "$LOCAL" "$REMOTE"
|
||
|
}
|
||
|
|
||
|
merge_cmd () {
|
||
|
touch "$BACKUP"
|
||
|
$base_present || >"$BASE"
|
||
|
"$merge_tool_path" "$BASE" "$LOCAL" "$REMOTE" "$MERGED"
|
||
|
check_unchanged
|
||
|
}
|