arolfes e38a12733c Closes #2131: Migrate to java17		2023-09-28 15:49:39 +02:00
..
workflows	Closes #2131: Migrate to java17	2023-09-28 15:49:39 +02:00
dependabot.yml	unignored all dependencies for dependabot	2021-03-05 00:51:00 +01:00
pull_request_template.md	Closes #2271: fix hooks for github	2023-05-31 09:41:00 +02:00