diff options
author | Marc Mueller <30130371+cdce8p@users.noreply.github.com> | 2021-02-20 12:56:11 +0100 |
---|---|---|
committer | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2021-02-20 15:08:49 +0100 |
commit | ba6a40363d7273b50078bfb2c18e5d3c41ed73f1 (patch) | |
tree | 25191d87483f41ce2cbf9824d4c3f955889707f5 /tox.ini | |
parent | 8319f8a9feb0500370fb711297ae56319727a222 (diff) | |
download | pylint-git-ba6a40363d7273b50078bfb2c18e5d3c41ed73f1.tar.gz |
Additional changes
Diffstat (limited to 'tox.ini')
-rw-r--r-- | tox.ini | 11 |
1 files changed, 0 insertions, 11 deletions
@@ -104,17 +104,6 @@ commands = changedir = {toxinidir} -[testenv:coverage-erase] -setenv = - COVERAGE_FILE = {toxinidir}/.coverage -deps = - coverage<5 -skip_install = true -commands = - python -m coverage erase -changedir = {toxinidir} - - [testenv:coverage-html] setenv = COVERAGE_FILE = {toxinidir}/.coverage |