From 82b52d8799a0e6f7e73cc465a018bcbad654bc3d Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Wed, 9 Mar 2016 21:20:30 +0100 Subject: [PATCH] tox: Rename pylint-tip to pylint-master --- tox.ini | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tox.ini b/tox.ini index 5f562b6cd..e505f13a0 100644 --- a/tox.ini +++ b/tox.ini @@ -135,7 +135,7 @@ commands = {envpython} -m pylint scripts qutebrowser --output-format=colorized --reports=no {envpython} scripts/dev/run_pylint_on_tests.py {toxinidir} --output-format=colorized --reports=no -[testenv:pylint-tip] +[testenv:pylint-master] basepython = python3 passenv = {[testenv:pylint]passenv} deps =