maride 4c22604a83 Try a clean git-clone if pulling fails		2023-10-14 15:31:43 +02:00
..
pull-n-build.sh	Try a clean git-clone if pulling fails	2023-10-14 15:31:43 +02:00