Stefan Reimer 0e1c349f06 Restore publish script after PR got merged		2020-05-05 15:32:15 +01:00
..
publish.sh	Restore publish script after PR got merged	2020-05-05 15:32:15 +01:00