Matthias 50aec1d6d3 Jupyter service should be called differently		2020-09-20 20:19:07 +02: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	Add gitconfig to devcontainer	2020-09-20 12:36:47 +00:00