mergetools / gvimdiffon commit git: make super-prefix option (74866d7)
   1. "$MERGE_TOOLS_DIR/vimdiff"