Code

bash completion: add git-difftool