diff options
| author | hackademix | 2019-10-18 10:49:16 +0200 |
|---|---|---|
| committer | hackademix | 2019-10-18 10:49:16 +0200 |
| commit | f1cf5d9535d997de0c12082be3a738de4c1d2b8b (patch) | |
| tree | 4389e4b60aa7995a0d79e7c8a31c3a5efde2b462 /html5_events/html5_events.re | |
| parent | 2c8ac802eaf05590f495af4c668638b3894a423a (diff) | |
| download | noscript-f1cf5d9535d997de0c12082be3a738de4c1d2b8b.tar.gz noscript-f1cf5d9535d997de0c12082be3a738de4c1d2b8b.tar.xz noscript-f1cf5d9535d997de0c12082be3a738de4c1d2b8b.zip | |
Avoid unnecessary page reloads on extension updates.
Diffstat (limited to 'html5_events/html5_events.re')
0 files changed, 0 insertions, 0 deletions