hotkeys: document the new diff editor hotkeys
commit641bd1b34157ad53b410e7f67fd00f97c7e864c7
authorDavid Aguilar <davvid@gmail.com>
Mon, 13 Feb 2023 07:01:22 +0000 (12 23:01 -0800)
committerDavid Aguilar <davvid@gmail.com>
Mon, 13 Feb 2023 07:01:22 +0000 (12 23:01 -0800)
tree405a9db6e33dc57a51e8a04eb38b70876e488801
parent9246fdcd00c098dd9e286d8cbc393163954cf098
hotkeys: document the new diff editor hotkeys

Related-to: #1290
Signed-off-by: David Aguilar <davvid@gmail.com>
docs/hotkeys.html
docs/hotkeys_de.html
docs/hotkeys_zh_CN.html
docs/hotkeys_zh_TW.html