Andrew's git / gitweb.git / mergetools/diffuse
?
mergetools / diffuseon commit Merge branch 'js/msgfmt-on-windows' of ../git-gui into js/git-gui-msgfmt-on-windows (90dbf22)
   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}