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

Christoph J. Scherr f113905c50 fix release script		2024-02-02 00:07:16 +01:00
..
publish.sh	add scripts dir for publishing	2024-02-01 22:15:47 +01:00
release.sh	fix release script	2024-02-02 00:07:16 +01:00