Andrew's git / gitweb.git / mergetools/diffuse
?
mergetools / diffuseon commit test-lib: try harder to ensure a working jgit (abd0f28)
   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}