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 /legacy_license_check.js | |
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 'legacy_license_check.js')
0 files changed, 0 insertions, 0 deletions