diff options
author | Ruben Rodriguez <ruben@gnu.org> | 2018-10-03 22:23:39 +0000 |
---|---|---|
committer | Ruben Rodriguez <ruben@gnu.org> | 2018-10-03 22:23:39 +0000 |
commit | 5461a48cbeac01d5f8bc31a10d11ff72a295c7d9 (patch) | |
tree | 3a6b571ac604ed2208f2a9b492de669e59d2f48f /html/background-panel.png | |
parent | f881f1dbcd8c76685256f3701f25f916abda3e30 (diff) | |
parent | eae399dfd0ade951e9bc87897247bcffffee614f (diff) |
Merge #24 `Lenient WebLabels matching (by URL, by id, by name).`
Diffstat (limited to 'html/background-panel.png')
0 files changed, 0 insertions, 0 deletions