diff options
| author | jvoisin | 2017-09-25 10:42:08 +0200 |
|---|---|---|
| committer | jvoisin | 2017-09-25 10:42:08 +0200 |
| commit | 7d399682430c7fab7c75a8fe58ffaf0dcc80ece8 (patch) | |
| tree | 109013273f70ec0df55dec3ab6f8bfcc05ad26de /doc/source/conf.py | |
| parent | 879e6e1fe83df1df91ec87b6b7469eefcbf66f20 (diff) | |
Remove codecov.
Diffstat (limited to 'doc/source/conf.py')
0 files changed, 0 insertions, 0 deletions