diff options
| author | Paul Rouget <me@paulrouget.com> | 2019-10-14 09:07:32 +0200 |
|---|---|---|
| committer | Paul Rouget <me@paulrouget.com> | 2019-10-14 09:22:55 +0200 |
| commit | 010bc0036d4f31c637f45ba3dc157f80f176f2b6 (patch) | |
| tree | 5f61ad7d9aecc6e8c6fe5c411bd89c6be95b6e3e /python/servo/lints/wpt_lint.py | |
| parent | eee2c895f41081750e34c2ecc6e95e7e1cbac784 (diff) | |
| download | servo-010bc0036d4f31c637f45ba3dc157f80f176f2b6.tar.gz servo-010bc0036d4f31c637f45ba3dc157f80f176f2b6.zip | |
Use Tapped event instead of PointerReleased
Diffstat (limited to 'python/servo/lints/wpt_lint.py')
0 files changed, 0 insertions, 0 deletions