myshellconfig/bin
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