Reto Bollinger 4bc9376c19 Getting rid of one of the old shell-scripts		2024-11-27 20:37:42 +01:00
..
docker	Starting to replace those ugly shell-scripts with more readable python-scripts (tough more complex to invoke)	2024-11-27 20:34:37 +01:00
lektordata	Getting rid of one of the old shell-scripts	2024-11-27 20:37:42 +01:00