diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-09-13 11:58:07 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-13 11:58:07 -0400 |
commit | a12c4a1dd790475cfeb73e81988d67325ed9973e (patch) | |
tree | 295a6e87ffd2b7012e5dba454515fb99f245b3fa /ext/bg/js/settings/profile-controller.js | |
parent | 5b49cf439866cc742c0cda37eb3d8a7200fc6860 (diff) |
Add workaround for Firefox bug not detecting pen input type correctly (#821)
Diffstat (limited to 'ext/bg/js/settings/profile-controller.js')
0 files changed, 0 insertions, 0 deletions