Development
: Migrate documentation to docs.artemis.cit.tum.de#7298
Merged
krusche merged 6 commits intols1intum:developfrom ignacio-gn:developOct 16, 2023
+101-77
Development
: Migrate documentation to docs.artemis.cit.tum.de#7298