diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2023-12-20 00:44:42 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-20 05:44:42 +0000 |
| commit | 86f92ba00efdfa0feaa889c2188068dc6d8b457b (patch) | |
| tree | c705fafdad4ad2087c3a9c4cfdff041381017085 /ext/js/display/option-toggle-hotkey-handler.js | |
| parent | ad94a56e573553f3c66e8fcccff3042544faeb1b (diff) | |
Fix some missing types (#403)
Diffstat (limited to 'ext/js/display/option-toggle-hotkey-handler.js')
0 files changed, 0 insertions, 0 deletions