zZzzZ.

Delete git-mergetool?