Matthias 0a7b6f73c9 Move devcontainer stuff to .devcontainer		2020-09-20 12:35:08 +00:00
..
devcontainer.json	Move devcontainer stuff to .devcontainer	2020-09-20 12:35:08 +00:00
docker-compose.yml	Move devcontainer stuff to .devcontainer	2020-09-20 12:35:08 +00:00
Dockerfile	Move devcontainer stuff to .devcontainer	2020-09-20 12:35:08 +00:00