Matthias 4355f36cd6 Add gitconfig to devcontainer		2020-09-20 12:36:47 +00: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	Move devcontainer stuff to .devcontainer	2020-09-20 12:35:08 +00:00