diff options
| author | J08nY | 2017-06-27 19:42:55 +0200 |
|---|---|---|
| committer | J08nY | 2017-06-27 19:42:55 +0200 |
| commit | 8b5d2a552dad22f0b08bdc9081dafa871d0129d8 (patch) | |
| tree | 51c6c0cf1211234da113942aaede1e2866806f85 /coverage.ini | |
| parent | 750eb6716d7cc603ae877a484a02bc1b420eb2c5 (diff) | |
| download | mailman-pgp-8b5d2a552dad22f0b08bdc9081dafa871d0129d8.tar.gz mailman-pgp-8b5d2a552dad22f0b08bdc9081dafa871d0129d8.tar.zst mailman-pgp-8b5d2a552dad22f0b08bdc9081dafa871d0129d8.zip | |
Diffstat (limited to 'coverage.ini')
| -rw-r--r-- | coverage.ini | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/coverage.ini b/coverage.ini new file mode 100644 index 0000000..6d9b367 --- /dev/null +++ b/coverage.ini @@ -0,0 +1,3 @@ +[run] +source = mailman_pgp +omit = setup.py
\ No newline at end of file |