difftool: support repositories with .git-files