Pierre Rudloff 1055ce0c4b Merge branch 'master' into develop		2022-06-08 00:10:34 +02:00
..
ISSUE_TEMPLATE	Convert issue template to form	2022-06-08 00:08:01 +02:00
workflows	Replace Travis with GitHub actions	2022-02-07 22:26:33 +01:00