David Bauer be3e45ae82 contrib: add generation script for GitHub actions		2020-04-04 17:35:44 +02:00
..
generate-actions.py	contrib: add generation script for GitHub actions	2020-04-04 17:35:44 +02:00