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.
hedu/scripts
Christoph J. Scherr b87a75b5dd
cargo devel CI / cargo CI (push) Successful in 21s Details
add scripts dir for publishing
2024-02-01 22:16:00 +01:00
..
publish.sh add scripts dir for publishing 2024-02-01 22:16:00 +01:00
release.sh add scripts dir for publishing 2024-02-01 22:16:00 +01:00