Andrew's git / gitweb.git / mergetools/diffuse
?
mergetools / diffuseon commit diff: rename diff_fill_sha1_info to diff_fill_oid_info (94e327e)
   1diff_cmd () {
   2        "$merge_tool_path" "$LOCAL" "$REMOTE" | cat
   3}
   4
   5merge_cmd () {
   6        if $base_present
   7        then
   8                "$merge_tool_path" \
   9                        "$LOCAL" "$MERGED" "$REMOTE" \
  10                        "$BASE" | cat
  11        else
  12                "$merge_tool_path" \
  13                        "$LOCAL" "$MERGED" "$REMOTE" | cat
  14        fi
  15}