jamesread 462efe74c4 cicd: short github hash in dist name		2022-08-24 22:03:33 +01:00
..
ISSUE_TEMPLATE	Issues is a fine place to ask for support.	2021-05-25 14:16:27 +01:00
workflows	cicd: short github hash in dist name	2022-08-24 22:03:33 +01:00
PULL_REQUEST_TEMPLATE.md	bugfix: update code to reflect new repository name	2022-04-26 13:43:40 +02:00