Jakobus Schürz a319007ef2 cleanup		2020-02-11 14:54:10 +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	cleanup	2020-02-11 14:54:10 +01:00