This repository has been archived on 2024-10-16. You can view files and clone it, but cannot push or open issues or pull requests.

Christoph J. Scherr 138ad5d969 ci stuff		2024-02-16 16:11:46 +01:00
..
publish.sh	add scripts dir for publishing	2024-02-01 22:16:00 +01:00
release.sh	ci stuff	2024-02-16 16:11:46 +01:00