]> git.plutz.net Git - shellwiki/commit
introducing text indexer
authorPaul Hänsch <paul@plutz.net>
Thu, 21 Sep 2023 19:45:36 +0000 (21:45 +0200)
committerPaul Hänsch <paul@plutz.net>
Thu, 21 Sep 2023 19:45:36 +0000 (21:45 +0200)
commitfeca7d3f5bff6cd8b1437adb95686a77ab8e9367
tree0f7c8d7b01154bafee4e3942a577cd958cfa72c2
parent75a51cad1295d0f6f29a58d720926e1f725b716f
introducing text indexer
parsers/40_indexer.sh [new file with mode: 0755]