8000 Fix for Coverage* filename issue by lkurzyniec · Pull Request #3415 · github/gitignore · GitHub
[go: up one dir, main page]
Skip to content

Fix for Coverage* filename issue#3415

Closed
lkurzyniec wants to merge 1 commit intogithub:mainfrom
lkurzyniec:bugfix/fix-coverlet-results
Closed

Fix for Coverage* filename issue#3415
lkurzyniec wants to merge 1 commit intogithub:mainfrom
lkurzyniec:bugfix/fix-coverlet-results

Commits

Commits on May 19, 2020
0