Matthias 50aec1d6d3 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

Dockerfile

Jupyter service should be called differently

2020-09-20 20:19:07 +02:00