Matthias Spiller 38fc5d680b Enable usage of devcontainer for macOS users		2020-10-31 10:31:58 +00:00
..
Dockerfile	Jupyter service should be called differently	2020-09-20 20:19:07 +02: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