Jörg Thalheim 3b5c5e088f use environment variables to set git identity		2021-02-06 11:51:28 +01:00
..
setup-git.sh	use environment variables to set git identity	2021-02-06 11:51:28 +01:00