Michael ed9b1bea3f Use github action to check and verify doc		2021-06-21 16:04:13 +02:00
..
ISSUE_TEMPLATE	Add new GitHub issue chooser.	2021-03-08 09:40:04 +01:00
PULL_REQUEST_TEMPLATE	Multiple issue and pull request templates.	2018-02-20 10:44:03 +01:00
workflows	Use github action to check and verify doc	2021-06-21 16:04:13 +02:00
ISSUE_TEMPLATE.md	chore: apply new documentation style.	2020-09-23 10:20:04 +02:00
PULL_REQUEST_TEMPLATE.md	Prepare release v2.4.0	2021-01-19 16:50:04 +01:00