David Peter 277cc5fa21 Revert "invoke gzip with -n" ... This reverts commit 21de52ebea.		2020-11-23 14:32:30 +01:00
..
ISSUE_TEMPLATE	Update bug_report.md	2020-11-06 21:45:25 +01:00
workflows	Revert "invoke gzip with -n"	2020-11-23 14:32:30 +01:00
.codecov.yml	Disable code-coverage comments	2020-08-02 21:51:23 +02:00