diff options
| author | jvoisin | 2025-05-16 15:59:40 +0200 |
|---|---|---|
| committer | jvoisin | 2025-05-16 20:22:46 +0200 |
| commit | 2e22fe52b441308c274cfec4436204a9e5f70db7 (patch) | |
| tree | e050974559ba034d1603a755f1b5568cb2d5348a /include | |
| parent | 4075c9464a285390e046ec92dd72db2efe2052f6 (diff) | |
Ignore version/empty errors when generating the coverage
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions