]> git.plutz.net Git - shellwiki/history - pages/[wiki]/search/#page.md
Merge commit '6bc502434737d7f08379e79b94fc6fda424ef779'
[shellwiki] / pages / [wiki] / search / #page.md
2024-04-09 Paul HänschMerge commit '6bc502434737d7f08379e79b94fc6fda424ef779' master
2024-04-09 Paul Hänschimproved styling and options of search macro
2024-04-07 Paul Hänschdefine search function as macro