Matthias 6c306c0013 Merge branch 'develop' into github_actions_tests		2019-11-14 06:45:14 +01:00
..
workflows	Merge branch 'develop' into github_actions_tests	2019-11-14 06:45:14 +01:00
ISSUE_TEMPLATE.md	add Operating system to issue template	2019-08-03 20:04:49 +02:00
PULL_REQUEST_TEMPLATE.md	replace references to old url	2018-06-03 23:07:00 +02:00