mirror of
https://github.com/git/git.git
synced 2024-09-23 22:31:19 +02:00
13 lines
264 B
Plaintext
13 lines
264 B
Plaintext
|
diff_cmd () {
|
||
|
|
"$merge_tool_path" mergetool "$LOCAL" "$REMOTE" -o "$MERGED"
|
||
|
|
}
|
||
|
|
|
||
|
|
merge_cmd () {
|
||
|
|
if $base_present
|
||
|
|
then
|
||
|
|
"$merge_tool_path" mergetool "$BASE" "$LOCAL" "$REMOTE" -o "$MERGED"
|
||
|
|
else
|
||
|
|
"$merge_tool_path" mergetool "$LOCAL" "$REMOTE" -o "$MERGED"
|
||
|
|
fi
|
||
|
|
}
|