git grep -O -i: if the pager is 'less', pass the '-i' option

[git/dscho.git] / mergetools / kompare

can_merge () {
        return 1
}

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