mirror of
https://github.com/git/git.git
synced 2026-04-27 12:26:20 +02:00
a3c988727d
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