Jakob Ketterl 3bbcaa1329 use shallow cloning everywhere to speed up the build		2019-12-19 22:14:32 +01:00
..
Dockerfiles	additional files for docker	2019-12-15 18:28:35 +01:00
scripts	use shallow cloning everywhere to speed up the build	2019-12-19 22:14:32 +01:00