mergetools / vimdiff3on commit config.txt: move web.* to a separate file (07c11a0)
   1. "$MERGE_TOOLS_DIR/vimdiff"