difftool/.gitignore