mirror of
https://github.com/git/git.git
synced 2026-06-14 15:37:30 +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