bat/.github
David Peter d879fbd8a1 Revert "change docs dir name to match package name"
This reverts commit e4370d8d3f.
2020-11-23 14:32:30 +01:00
..
ISSUE_TEMPLATE Update bug_report.md 2020-11-06 21:45:25 +01:00
workflows Revert "change docs dir name to match package name" 2020-11-23 14:32:30 +01:00
.codecov.yml Disable code-coverage comments 2020-08-02 21:51:23 +02:00