Proof of concept for Dev Container#209

Open

jonasanker wants to merge 2 commits intomainfrom

pr/jra/devcontainer

Commits on Sep 21, 2023

Proof of concept for Dev Container
jonasanker
committed

Commits on Jan 18, 2024

Merge remote-tracking branch 'origin/main' into pr/jra/devcontainer
jonasanker
committed