diff options
author | 2018-09-01 19:58:11 +0200 | |
---|---|---|
committer | 2018-09-01 21:29:53 +0200 | |
commit | 430dd0e5610914ae9f4f5bf8dfee0f42b7f7de65 (patch) | |
tree | 49695223f6f236f0e85febffac4e16e8e0ed913c /SETUP.md | |
parent | Add support for deleting off-topic-channel names. (diff) |
Ignore irrelevant files in coverage report.
Diffstat (limited to 'SETUP.md')
0 files changed, 0 insertions, 0 deletions