commit: use clear_commit_marks_many() in remove_redundant()
[git.git] / mergetools / gvimdiff3
blob04a5bb0ea8484244e420ef13072773623c5b0366
1 . "$MERGE_TOOLS_DIR/vimdiff"