stable/.devcontainer
Matthias 10104927c9 Fix devcontainer
closes #4230
2021-01-18 07:46:19 +00:00
..
devcontainer.json Move devcontainer stuff to .devcontainer 2020-09-20 12:35:08 +00:00
docker-compose.yml Enable usage of devcontainer for macOS users 2020-10-31 10:31:58 +00:00
Dockerfile Fix devcontainer 2021-01-18 07:46:19 +00:00