diff options
| author | Drashna Jaelre | 2022-09-29 19:50:47 +0200 |
|---|---|---|
| committer | GitHub | 2022-09-29 19:50:47 +0200 |
| commit | dbe214c3268d9a316a137471a7679f7e45046e49 (patch) | |
| tree | 97b065e2c3e1690c33fba2febd4498d40bb640ab /docs/config_options.md | |
| parent | b53918fbe9122ef7995dce194951717ac65f7817 (diff) | |
Handle mouse keys more consistently (#18513)
Diffstat (limited to 'docs/config_options.md')
0 files changed, 0 insertions, 0 deletions