Martin Diehl e61d86aa17 quick fix for deprecated shell script		2021-03-20 14:05:35 +01:00
..
legacy	not needed anymore	2020-09-25 07:40:12 +02:00
post	simplified	2021-01-15 12:14:05 +01:00
pre	quick fix for deprecated shell script	2021-03-20 14:05:35 +01:00