]> git.plutz.net Git - shellwiki/commit
minor fixes in <<pagelist>>
authorPaul Hänsch <paul@plutz.net>
Tue, 15 Aug 2023 11:14:09 +0000 (13:14 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 15 Aug 2023 11:14:09 +0000 (13:14 +0200)
commit46ce00db07a1223da8d0edc585aa2326418a3c6b
tree61ad6826a240f7c1d4771938ad09fad3eaa406b8
parent9c54db6ec648c690cc3111faa19c3312d51d041e
minor fixes in <<pagelist>>
macros/pagelist