feature: Add Playground module database.
Implemented this with @pohl
- We now have a playground module database:
dbs/playground
- Additionally, we renamed the existing student_projects database to
dbs/student_projects
in order to have module database extensions distinct
Edited by Christian Dreher