diff options
| author | David Aguilar <davvid@gmail.com> | 2016-12-10 05:14:21 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-12-12 03:20:32 +0300 |
| commit | 6cf5f6cef7825ba73b3be0b2a2b381079d713bd1 (patch) | |
| tree | 94b8a2e2265462fc8b97aaec17ccfb64a0ef1b6f /po/git.pot | |
| parent | 654311bf6ee0fbf530c088271c2c76d46f31f82d (diff) | |
mergetools: fix xxdiff hotkeys
xxdiff was using a mix of "Ctrl-<key>" and "Ctrl+<key>" hotkeys.
The dashed "-" form is not accepted by newer xxdiff versions.
Use the plus "+" form only.
Signed-off-by: David Aguilar <davvid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'po/git.pot')
0 files changed, 0 insertions, 0 deletions