diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-02-28 14:29:43 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-28 14:29:43 -0500 |
commit | 704db45e29287718cbfbe7b0a4a2c261aef8a71d (patch) | |
tree | d196c838b0212c4b3acdff5f57970af1228cef8c /dev/util.js | |
parent | 75d7e5dc325e3cff8dc530ea48459e214088c1ea (diff) |
Remove the now-unused hotkey forwarding functionality (#1466)
Diffstat (limited to 'dev/util.js')
0 files changed, 0 insertions, 0 deletions