Junio C Hamano 6d1f93acfa Merge branch 'da/mergetool-xxdiff-hotkey' into maint
The way to specify hotkeys to "xxdiff" that is used by "git
mergetool" has been modernized to match recent versions of xxdiff.

* da/mergetool-xxdiff-hotkey:
  mergetools: fix xxdiff hotkeys
2017-01-17 15:11:05 -08:00
..
bc3
2014-10-21 11:25:30 -07:00
2014-04-22 12:49:07 -07:00
2014-04-22 12:49:07 -07:00