diff options
| author | Aleksey Kladov <[email protected]> | 2021-06-13 10:33:08 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2021-06-13 11:13:26 +0100 |
| commit | 546be18e3a91e4844b0dacc76c9f055397b6d89e (patch) | |
| tree | 020b9667f0f723b06ee7fb6948efaa9e6b135f68 /editors/code/.gitignore | |
| parent | 0eafc88079fb5ddb1931e59860a4e064743e113a (diff) | |
internal: check that coverage marks are always paired
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions