2 Commits

Author	SHA1	Message	Date
David Rodríguez	989fcfaf45	Add a local search plugin to documentation site (#1329) ... * docusaurus 2.0.0-beta.18 * Add a local search plugin to docs site	2022-05-24 09:55:46 +02:00
Sean Carroll	a02dabab5d	Documentation site config	2022-03-30 23:53:06 +02:00