Finalize devcontainer #151
Description
We never ended up merging devcontainer stuff (#10), should set this in case new members want to use that over setting up dev environment manually. Also would be useful to create codespaces.
Metadata
Metadata
Assignees
Labels
No labels