Jakobus Schürz a319007ef2 cleanup		2020-02-11 14:54:10 +01:00
..
configserver.sh
flip.pl
git-myshellconfig-checkout	remove output	2020-01-17 16:12:06 +01:00
workdir.py	cleanup	2020-02-11 14:54:10 +01:00