Open KasperZutterman opened 2 years ago
A .devcontainer allows for a remote development container with all necessary development dependencies (useful for e.g. github.dev) See:
A .devcontainer allows for a remote development container with all necessary development dependencies (useful for e.g. github.dev) See: