David Peter 0cbd7d583c Revert "remove leading article from description" ... This reverts commit 7c730d11c3.		2020-11-23 14:32:30 +01:00
..
ISSUE_TEMPLATE	Update bug_report.md	2020-11-06 21:45:25 +01:00
workflows	Revert "remove leading article from description"	2020-11-23 14:32:30 +01:00
.codecov.yml	Disable code-coverage comments	2020-08-02 21:51:23 +02:00