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 /core/io/config_file.h | |
| 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 'core/io/config_file.h')
0 files changed, 0 insertions, 0 deletions