mergetools / gvimdiff3on commit Merge branch 'jc/push-cert' (268d5bc)
   1. "$MERGE_TOOLS_DIR/vimdiff"