Loris Cro cb7c912a1b autodoc: use location.replace to avoid history spam when searching

2022-08-06 17:29:39 +02:00

..

index.html

autodoc: re-introduce search result limits

2022-08-06 17:29:13 +02:00

main.js

autodoc: use location.replace to avoid history spam when searching

2022-08-06 17:29:39 +02:00