mergetools / vimdiff3on commit name-rev: drop unused parameters from is_better_name() (c016579)
   1. "$MERGE_TOOLS_DIR/vimdiff"