Petr Mrázek 6531aaa7bc Try using github actions ... Let's see how badly this goes		2019-09-19 10:56:11 +02:00
..
workflows	Try using github actions	2019-09-19 10:56:11 +02:00
ISSUE_TEMPLATE.md	NOISSUE get rid of remaining tabs	2018-08-02 01:01:55 +02:00