Skip to content

docs: Enable prettier for docs again and fix issues#1139

Merged
MoritzWeber0 merged 2 commits intomainfrom update-docsOct 31, 2023