This repository has been archived by the owner on Apr 29, 2024. It is now read-only.
1.2
This release fixes a bug present in the Dockerfile of the workspace container, which caused the creation of 2 folders with wrong naming.