Matthias 10104927c9 Fix devcontainer ... closes #4230		2021-01-18 07:46:19 +00:00
..
Dockerfile	Fix devcontainer	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