diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-09-15 12:06:52 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-09-15 12:06:52 -0400 |
| commit | 6bc53fabf9186a4ec6433154719ff9c3116c269f (patch) | |
| tree | 8f99cf6c7036bf828f0da2cb648d1f0b4667b04c /tools/coverage.py | |
| parent | 8b055201c01d3ac5816b687792ce2f179d1bf9ef (diff) | |
Close files after read
Diffstat (limited to 'tools/coverage.py')
0 files changed, 0 insertions, 0 deletions