4 Commits

Author	SHA1	Message	Date
jrandolf	6a05d8e9c1	chore: improve docs and scripts (#9107) ... This PR updates some docs and scripts related to the recent changes in the repository.	2022-10-13 18:55:11 +02:00
jrandolf	b5a345b06b	chore: format docs (#8629)	2022-07-05 15:41:43 +02:00
jrandolf	45eb2c607f	chore: remove docusaurus metadata from README.md (#8624)	2022-07-05 14:42:31 +02:00
jrandolf	066f440ba7	feat: add documentation (#8593)	2022-07-01 11:52:39 +00:00