mergetools / smergeon commit Merge branch 'py/call-do-quit-before-exit' of github.com:gitster/git-gui into py/git-gui-do-quit (0d88f3d)
   1diff_cmd () {
   2        "$merge_tool_path" mergetool "$LOCAL" "$REMOTE" -o "$MERGED"
   3}
   4
   5merge_cmd () {
   6        if $base_present
   7        then
   8                "$merge_tool_path" mergetool "$BASE" "$LOCAL" "$REMOTE" -o "$MERGED"
   9        else
  10                "$merge_tool_path" mergetool "$LOCAL" "$REMOTE" -o "$MERGED"
  11        fi
  12}