Merge branch 'master' of https://github.com/prati0100/git-gui

[git] / mergetools / diffuse

diff_cmd () {
        "$merge_tool_path" "$LOCAL" "$REMOTE" | cat
}

merge_cmd () {
        if $base_present
        then
                "$merge_tool_path" \
                        "$LOCAL" "$MERGED" "$REMOTE" \
                        "$BASE" | cat
        else
                "$merge_tool_path" \
                        "$LOCAL" "$MERGED" "$REMOTE" | cat
        fi
}