Andrew's git / gitweb.git / mergetools/diffmerge
?
mergetools / diffmergeon commit Merge branch 'js/rebase-i-clean-up-upon-continue-to-skip' into maint (29dce32)
   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}