diff options
| author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2020-12-31 10:21:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-31 10:21:00 +0100 |
| commit | 3f70363ee3ea05501d5b7ba84070808ac8721847 (patch) | |
| tree | 2e18e5cce2cbcebfdc4259f4bd4eb3813ee9315a /.coveragerc | |
| parent | 286d064a61a83ff39a389f96be86966977458a52 (diff) | |
| download | ghdl-3f70363ee3ea05501d5b7ba84070808ac8721847.tar.gz ghdl-3f70363ee3ea05501d5b7ba84070808ac8721847.tar.bz2 ghdl-3f70363ee3ea05501d5b7ba84070808ac8721847.zip | |
Added file headers and license texts. (#1564)
Diffstat (limited to '.coveragerc')
| -rw-r--r-- | .coveragerc | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/.coveragerc b/.coveragerc deleted file mode 100644 index 0ebb5bd64..000000000 --- a/.coveragerc +++ /dev/null @@ -1,12 +0,0 @@ -[run] -branch = true - -[report] -skip_covered = True -skip_empty = True - -[html] -directory = .cov - -[xml] -output = coverage.xml |