Skip to content

Reformulate dev environment as a Dockerfile-based devcontainer#1

Merged
MatejGomboc merged 2 commits into
mainfrom
reformulate-as-devcontainer
Jun 17, 2026
Merged

Reformulate dev environment as a Dockerfile-based devcontainer#1
MatejGomboc merged 2 commits into
mainfrom
reformulate-as-devcontainer

Commits

Commits on Jun 17, 2026