diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-09-01 20:40:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-01 20:40:29 +0200 |
commit | ab6028379841183c8005792f83d6da5cb389d323 (patch) | |
tree | 6d1f253af7aad2faf57efa95466ba411b038c1d5 /servers/server_wrap_mt_common.h | |
parent | 88b56634f32a9caa97502e98f2bbafc084c479ea (diff) | |
parent | af139af69e17b591769d7c62db17b0325aba38cc (diff) |
Merge pull request #21663 from Calinou/fix-editor-shortcut-defaults
Fix some editor shortcuts' default values not being set properly
Diffstat (limited to 'servers/server_wrap_mt_common.h')
0 files changed, 0 insertions, 0 deletions