Martin Filser 403b416b2a Development volumes now in the same folder ... - It's easier for the development to have the files in the same folder than in an extra volume		2021-06-11 11:36:55 +02:00
..
build.sh	Fixed endless compilation devcontainer, debugging	2019-08-28 15:26:17 +02:00
devcontainer.json	DevContainer: use docker extend file, fix PATH	2019-09-03 21:20:24 +02:00
docker-compose.yml	Development volumes now in the same folder	2021-06-11 11:36:55 +02:00
Dockerfile	Base Image of Development and Build are now the same	2021-06-11 11:36:55 +02:00