zZzzZ.

Delete git-mergetool--lib?