diff options
author | Wojciech Siewierski <wojciech.siewierski@onet.pl> | 2018-07-16 01:01:49 +0200 |
---|---|---|
committer | Wojciech Siewierski <wojciech.siewierski@onet.pl> | 2018-07-16 01:01:49 +0200 |
commit | fe5a5b64765f8fa5bbfae0a08e026a5c6fb8b47a (patch) | |
tree | f3a518736ae2e98c09d14aa9ba8c8bc95c8dca50 /Pipfile | |
parent | 322479d11c05fdc0264c5eda817b7b3163e99f0a (diff) | |
download | ranger-fe5a5b64765f8fa5bbfae0a08e026a5c6fb8b47a.tar.gz |
Revert "Use Pipfile/pipenv to manage the linters"
This reverts commit 322479d11c05fdc0264c5eda817b7b3163e99f0a.
Diffstat (limited to 'Pipfile')
-rw-r--r-- | Pipfile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Pipfile b/Pipfile deleted file mode 100644 index a927408c..00000000 --- a/Pipfile +++ /dev/null @@ -1,15 +0,0 @@ -[[source]] -url = "https://pypi.org/simple" -verify_ssl = true -name = "pypi" - -[requires] -python_version = "3.5" - -[dev-packages] -pytest = "*" -"flake8" = "*" -pylint = "<2.0.0" -"enum34" = "*" - -[packages] |