Matthias 37da714610 Don't set zsh as default shell

2024-04-27 15:21:42 +02:00

..

devcontainer.json

Don't set zsh as default shell

2024-04-27 15:21:42 +02:00

Dockerfile

Use devcontainer features for most setup work

2024-04-27 11:55:37 +00:00