diff options
Diffstat (limited to 'third_party/git/mergetools/smerge')
| -rw-r--r-- | third_party/git/mergetools/smerge | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/third_party/git/mergetools/smerge b/third_party/git/mergetools/smerge deleted file mode 100644 index 9c2e6f6fd7..0000000000 --- a/third_party/git/mergetools/smerge +++ /dev/null @@ -1,12 +0,0 @@ -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 -} |