Add local search

This commit is contained in:
2023-10-18 20:56:56 +02:00
parent b8b751dbe2
commit 4820aebed6
10 changed files with 296 additions and 0 deletions

View File

@ -9,5 +9,6 @@
\input{sections/_intro.tex}
\input{sections/_search.tex}
\input{sections/_local_search.tex}
\end{document}