mergetools / gvimdiff3on commit Merge branch 'ph/push-doc-cas' (31137f5)
   1. "$MERGE_TOOLS_DIR/vimdiff"