Florian Wilhelm f5df533c68 Allow trigger IT via github UI (#1830) ... cf https://docs.github.com/en/actions/configuring-and-managing-workflows/configuring-a-workflow\#manually-running-a-workflow		2020-07-23 11:43:59 +02:00
..
workflows	Allow trigger IT via github UI (#1830)	2020-07-23 11:43:59 +02:00
CONTRIBUTING.md	Enhance CONTRIBUTING.md (#916)	2019-10-25 15:44:58 +02:00
PULL_REQUEST_TEMPLATE.md	Fixing PULL_REQUEST_TEMPLATE.md (#415)	2019-01-09 10:41:02 +01:00