diff options
| author | Ferdinand Bachmann <ferdinand.bachmann@yrlf.at> | 2024-04-05 16:40:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-05 16:40:28 +0200 |
| commit | bc258a3be2f946c1c93bcbe40735b2db068e0ea8 (patch) | |
| tree | 80b7e6462f46d0f83fdd76fffd2c052b6b992564 /include | |
| parent | dcb142bf5e390250939544075b5852ca21eaf721 (diff) | |
input: add Super as alternative for Mod4
This PR implements alternative human-readable names for the logo key
(Mod4) as proposed in #8084.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions