Skip to content

added scripts for indexing and searching#1

Open
hoehnp wants to merge 2 commits into
MikeS159:mainfrom
hoehnp:main
Open

added scripts for indexing and searching#1
hoehnp wants to merge 2 commits into
MikeS159:mainfrom
hoehnp:main

Conversation

@hoehnp

@hoehnp hoehnp commented Jun 26, 2023

Copy link
Copy Markdown

I added two small scripts to index the files you provide and to search this index, write the results to a simple HTML file and open it in the browser.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant