Willy-JL 1cfcc759ed Read dist suffix properly

2023-07-05 00:14:02 +02:00

..

hotfix.py

Move download up and fix hotfix

2023-06-04 15:40:52 +01:00

package.sh

Update hotfix script

2023-06-03 04:08:05 +01:00

release.md

Move download up and fix hotfix

2023-06-04 15:40:52 +01:00

release.py

Update hotfix script

2023-06-03 04:08:05 +01:00

version.sh

Read dist suffix properly

2023-07-05 00:14:02 +02:00

webhook.py

Fix PR webhook

2023-04-25 18:40:10 +01:00

webupdater.py

Update hotfix script

2023-06-03 04:08:05 +01:00