Pieter Marsman 7e91d4ec6d Improve docs and github templates		2020-03-08 15:06:13 +01:00
..
bug_report.md	Improve docs and github templates	2020-03-08 15:06:13 +01:00
feature_request.md	Improve docs and github templates	2020-03-08 15:06:13 +01:00