mergetools / gvimdiffon commit write_or_die: remove the unused write_or_whine() function (b333d0d)
   1. "$MERGE_TOOLS_DIR/vimdiff"