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