diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2023-12-15 20:31:48 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-16 01:31:48 +0000 |
| commit | c312e7a55114b913afcd85d92f2bf1006b8af246 (patch) | |
| tree | 431428468ae5e2f643ee0036b6504fba4757c7df /ext/js/input/hotkey-util.js | |
| parent | 730b34c0bbe394fd62afb20b32152139a65b0b60 (diff) | |
Fix usage of any (*) type in DocumentUtil (#361)
Diffstat (limited to 'ext/js/input/hotkey-util.js')
0 files changed, 0 insertions, 0 deletions