diff options
| author | Darius Jahandarie <djahandarie@gmail.com> | 2023-08-20 18:38:08 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-20 18:38:08 +0900 |
| commit | 54cef9a1f840096937521dd905126f060a4d3eee (patch) | |
| tree | 30f0c8fd75f5f32d6117d41a4623d70336add239 /ext/js/display/option-toggle-hotkey-handler.js | |
| parent | b5752a451e93cc58b281552fc64125f807e32e15 (diff) | |
Use custom CodeQL workflow
Diffstat (limited to 'ext/js/display/option-toggle-hotkey-handler.js')
0 files changed, 0 insertions, 0 deletions