diff options
| author | Jack Lloyd <[email protected]> | 2018-01-03 19:23:31 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-01-03 19:23:31 -0500 |
| commit | 7e27a1295b26e4d7b34b66a8e399e408fa527b55 (patch) | |
| tree | 7af806ce5841ad440a938c50497b8dfb72389a4d /doc/manual | |
| parent | 3ed9bf02ba5790d6fbb4923fa4f91bc7b25a32e0 (diff) | |
Force codecov script back to earlier version
Latest version fails with a Python exception. Already contacted support
but falling back until a fix is available.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions