Documentation search broken for "dev" documentation
Using the search field on the dev docs (https://kwant-project.org/doc/dev/) produces no results for any queries.
@cwg IIRC you are the one who knows the most about the website setup.
Using the search field on the dev docs (https://kwant-project.org/doc/dev/) produces no results for any queries.
@cwg IIRC you are the one who knows the most about the website setup.