git config file for openmind
switch default difftool for git to vimdiff