eikek 461ae74c28 Remove obsolete shell scripts
The commandline interface now supersedes these scripts.
2021-08-20 18:19:51 +02:00
..
2020-08-25 17:23:31 +02:00