diff options
| author | Vítor Galvão | 2023-01-21 19:19:24 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-21 19:19:24 +0000 |
| commit | 42b040141632e332c837765f2eb1538ec9c53a8a (patch) | |
| tree | d1d97d0d0a97dbd526d524912a8cbdd9d15f7451 /runtime/queries/lean | |
| parent | 99fcb108609a90c922921d139291b7f99d5cb06a (diff) | |
tutor: Change "Type" to "Press" for specials keys and modifiers (#5609)
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions