diff options
| author | Laurențiu Nicola <[email protected]> | 2021-03-08 20:19:44 +0000 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2021-03-08 20:19:44 +0000 |
| commit | fc9eed4836dfc88fe2893c81b015ab440cea2ba6 (patch) | |
| tree | 3905029a42c8bb6c5d363753b34cd6b5dd43f4d5 /.gitignore | |
| parent | c5189a22ccf4c28e309e4189defbb88b83bb2aea (diff) | |
Use upstream cov-mark
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions