]> git.plutz.net Git - shellwiki/commitdiff
generate toc from new section wrappers
authorPaul Hänsch <paul@plutz.net>
Wed, 21 Jun 2023 18:18:39 +0000 (20:18 +0200)
committerPaul Hänsch <paul@plutz.net>
Wed, 21 Jun 2023 18:18:39 +0000 (20:18 +0200)

No differences found