]> git.plutz.net Git - shellwiki/commitdiff
allow negative tag selection
authorPaul Hänsch <paul@plutz.net>
Tue, 14 Nov 2023 20:48:10 +0000 (21:48 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 14 Nov 2023 20:48:10 +0000 (21:48 +0100)

No differences found