]> git.plutz.net Git - shellwiki/commitdiff
bugfix in --notitles option
authorPaul Hänsch <paul@plutz.net>
Thu, 28 Mar 2024 18:43:33 +0000 (19:43 +0100)
committerPaul Hänsch <paul@plutz.net>
Thu, 28 Mar 2024 18:43:33 +0000 (19:43 +0100)

No differences found