From 678ff395ec34e992afd07d223ca4f4ab1bf02116 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Fri, 31 May 2019 23:47:07 +0200 Subject: [PATCH] remove unused pipfile --- Pipfile | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 Pipfile diff --git a/Pipfile b/Pipfile deleted file mode 100644 index 753481aa..00000000 --- a/Pipfile +++ /dev/null @@ -1,19 +0,0 @@ -[[source]] -url = "https://pypi.python.org/simple" -verify_ssl = true -name = "pypi" - -[packages] -"e1839a8" = {path = ".", editable = true} - -[dev-packages] -pylint = "*" -yapf = "*" -pytest = "*" -pytest-mock = "*" -pytest-cov = "*" - -[requires] - -[pipenv] -allow_prereleases = true