3 commits

Author	SHA1	Message	Date
Felix Van der Jeugt	d11b585ecb	check for HEAD before cloning	2020-12-13 00:36:28 +01:00
Felix Van der Jeugt	89484da8d5	subgit should be more silent and forcing	2020-12-04 14:49:45 +01:00
Felix Van der Jeugt	7eb71c1361	add script to fetch subgit repos	2020-11-14 14:43:46 +01:00