Jakobus Schürz 3082530c84 change python-version		2020-02-11 02:12:02 +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	remove output	2020-01-17 16:12:06 +01:00
workdir.py	change python-version	2020-02-11 02:12:02 +01:00