]> git.plutz.net Git - shellwiki/commitdiff
allow tag filtering in `pagelist` and `include`, allow multiple paths in `pagelist...
authorPaul Hänsch <paul@plutz.net>
Tue, 19 Sep 2023 16:40:13 +0000 (18:40 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 19 Sep 2023 16:40:13 +0000 (18:40 +0200)

No differences found