Jakobus Schürz 4b55ad420f make branch and remote configurable as environment		2020-01-17 15:23:49 +01:00
..
configserver.sh	transition from HOSTCONFIG to MYSHELLCONFIG	2020-01-14 10:12:00 +01:00
flip.pl	transition from HOSTCONFIG to MYSHELLCONFIG	2020-01-14 10:12:00 +01:00
git-myshellconfig-checkout	make branch and remote configurable as environment	2020-01-17 15:23:49 +01:00