anhefti 836e087bf6 CI reporting with java 8		2021-04-12 17:35:17 +02:00
..
ISSUE_TEMPLATE	Update issue templates	2020-05-11 15:04:39 +02:00
workflows	CI reporting with java 8	2021-04-12 17:35:17 +02:00