]> git.plutz.net Git - shellwiki/commit
drop page_children() function and join it into page_glob(), hide [system] pages from...
authorPaul Hänsch <paul@plutz.net>
Mon, 14 Aug 2023 20:56:00 +0000 (22:56 +0200)
committerPaul Hänsch <paul@plutz.net>
Mon, 14 Aug 2023 20:56:00 +0000 (22:56 +0200)
commit99eb58aebae213abb3a677493b614b592c7f0db6
tree335309995980afdc132899b98be6568dbf6dba15
parentbd4a2145a0a65745ab8074c3d986b1f032c148f0
drop page_children() function and join it into page_glob(), hide [system] pages from globbing by default
macros/pagelist
tools.sh