git remote: allow adding remotes agreeing with url.<...>.insteadOf
[git] / mergetools / gvimdiff3
1 . "$MERGE_TOOLS_DIR/vimdiff"