diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-11-04 17:24:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-04 17:24:16 +0100 |
commit | dc114fa2ef336646f56d71322ba0236c00f8228e (patch) | |
tree | 389e665afafe37c4f570d5f96507436bfad1ffaa /platform/javascript/logo.png | |
parent | 213ecd65cdef00c9735e2a324f81c1aa7090274c (diff) | |
parent | b14e39179231ddf98a64dbb82cd49da44468c50f (diff) |
Merge pull request #33335 from Calinou/input-map-editor-fix-key-names
Fix key names being wrongly capitalized in the input map editor
Diffstat (limited to 'platform/javascript/logo.png')
0 files changed, 0 insertions, 0 deletions