Philipp Holzer 2be9d0a67b Add github issue config		2020-09-25 22:24:57 +02:00
..
ISSUE_TEMPLATE	Add github issue config	2020-09-25 22:24:57 +02:00
workflows	Remove pull_request_review from CI triggers	2020-08-22 14:09:41 -04:00