1
0
mirror of https://github.com/git/git.git synced 2025-03-22 20:36:32 +00:00
Junio C Hamano a3c988727d Merge branch 'da/mergetool-xxdiff-hotkey'
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
2016-12-19 14:45:41 -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