diff options
| author | Darius Jahandarie <djahandarie@gmail.com> | 2023-10-01 15:16:58 +0900 |
|---|---|---|
| committer | Darius Jahandarie <djahandarie@gmail.com> | 2023-10-01 15:16:58 +0900 |
| commit | c13cf0ec85ccc6aec636ccd8b9f791559c1cd2f6 (patch) | |
| tree | f962c38182d4f496c9a97c80d08504fde0b3aac2 /ext/js/display/option-toggle-hotkey-handler.js | |
| parent | 7f7045dc58b06c9ec1375b13beb94fc9c03ebfa9 (diff) | |
Satisfy no-implicit-button-type lint
Diffstat (limited to 'ext/js/display/option-toggle-hotkey-handler.js')
0 files changed, 0 insertions, 0 deletions