diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2019-04-29 21:32:14 +0000 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2019-04-29 21:32:14 +0000 |
| commit | b4ab7ef958d7d3d0761650b1404bf286d05f26cd (patch) | |
| tree | 5c5b7350ed08cc5d210efd1157759bc3a169e43e /html/preferences_panel/preferences_panel.html | |
| parent | 0aacfa705e307286aa87861de5442785b1b51f65 (diff) | |
| parent | f128d868d319c45222e451af75e3aa397b7f8144 (diff) | |
Merge #39 `Add permanent reload button in the popup UI (in the "whole site" information line).`
Diffstat (limited to 'html/preferences_panel/preferences_panel.html')
0 files changed, 0 insertions, 0 deletions