diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-09-26 20:41:22 +0000 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-09-26 20:41:22 +0000 |
| commit | 564f2eb266bda6c947aae303a449406e7d40f190 (patch) | |
| tree | b4f78cd57e515e61ded4eebbd3ef8befbe4241af /nontrivial utility/nontriv.html | |
| parent | 08f01213cc2e3929bfd0ae55514b2e3bd2e5d6f3 (diff) | |
| parent | 6c7f05852fbcb64f9f18e2220fd3bf1f6c5ae710 (diff) | |
Merge #21 `Match WebLabels by label rather than by canonical URL.`
Diffstat (limited to 'nontrivial utility/nontriv.html')
0 files changed, 0 insertions, 0 deletions