eikek 461ae74c28 Remove obsolete shell scripts
The commandline interface now supersedes these scripts.
2021-08-20 18:19:51 +02:00
..
2021-08-20 18:19:51 +02:00
2020-09-30 00:21:21 +02:00
2021-02-19 22:36:55 +01:00
2021-08-11 18:23:38 +02:00
2021-08-20 18:19:51 +02:00