mergetools / diffmergeon commit Merge branch 'jc/unused-symbols' (c985aaf)
   1diff_cmd () {
   2        "$merge_tool_path" "$LOCAL" "$REMOTE" >/dev/null 2>&1
   3}
   4
   5merge_cmd () {
   6        if $base_present
   7        then
   8                "$merge_tool_path" --merge --result="$MERGED" \
   9                        "$LOCAL" "$BASE" "$REMOTE"
  10        else
  11                "$merge_tool_path" --merge \
  12                        --result="$MERGED" "$LOCAL" "$REMOTE"
  13        fi
  14}