diff options
| author | J08nY | 2017-06-27 22:15:53 +0200 |
|---|---|---|
| committer | J08nY | 2017-06-27 22:15:53 +0200 |
| commit | 13f28275a6e109ad4b3548cb2d950b83fe7417ce (patch) | |
| tree | ef3345c2f640efb6bfa5773b203d1d11936bf0ac /coverage.ini | |
| parent | 63709ee1a55b55d11fad058d1102a8b274f08260 (diff) | |
| download | mailman-pgp-13f28275a6e109ad4b3548cb2d950b83fe7417ce.tar.gz mailman-pgp-13f28275a6e109ad4b3548cb2d950b83fe7417ce.tar.zst mailman-pgp-13f28275a6e109ad4b3548cb2d950b83fe7417ce.zip | |
Diffstat (limited to 'coverage.ini')
| -rw-r--r-- | coverage.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coverage.ini b/coverage.ini index 6d9b367..825b00f 100644 --- a/coverage.ini +++ b/coverage.ini @@ -1,3 +1,4 @@ [run] source = mailman_pgp +concurrency = multiprocessing omit = setup.py
\ No newline at end of file |