diff options
| author | hackademix <giorgio@maone.net> | 2019-04-08 18:37:54 +0200 |
|---|---|---|
| committer | hackademix <giorgio@maone.net> | 2019-04-08 18:37:54 +0200 |
| commit | f128d868d319c45222e451af75e3aa397b7f8144 (patch) | |
| tree | 7757bf4388de5047588b265bb5c026b345c474cc /html/preferences_panel/pref.js | |
| parent | 55469c349c3c47c882ee21348ba67780c8291003 (diff) | |
Add permanent reload button in the popup UI (in the "whole site" information line).
Diffstat (limited to 'html/preferences_panel/pref.js')
0 files changed, 0 insertions, 0 deletions