]> git.plutz.net Git - shellwiki/commit
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)
commite5ea4373a0510820e542e2b4eed63ff64211da9a
tree7a7069550948e35da129ebfc7ed429ad73b22a29
parentf17f2a98e2387cf9c2e68005c420b9a34ade17c9
allow negative tag selection
macros/include
macros/pagelist
tools.sh