From 2d212a972137d72de662c9359609be3152c8236c Mon Sep 17 00:00:00 2001
From: johannawild <72805812+johannawild@users.noreply.github.com>
Date: Wed, 4 May 2022 00:25:23 +0200
Subject: [PATCH] Delete Pipfile

---
 Pipfile | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 Pipfile

diff --git a/Pipfile b/Pipfile
deleted file mode 100644
index 4a93470..0000000
--- a/Pipfile
+++ /dev/null
@@ -1,12 +0,0 @@
-[[source]]
-url = "https://pypi.python.org/simple"
-verify_ssl = true
-name = "pypi"
-
-[packages]
-
-[dev-packages]
-pylint = "*"
-
-[requires]
-python_version = "3.6+"