From 4e2db7485c17d3a103f5b02f60990fe7ce5034b1 Mon Sep 17 00:00:00 2001
From: Maximilian Moser <maximilian.moser@tuwien.ac.at>
Date: Mon, 12 Jul 2021 17:16:31 +0200
Subject: [PATCH] Ignore Pipfile

---
 .gitignore |  4 ++++
 Pipfile    | 11 -----------
 2 files changed, 4 insertions(+), 11 deletions(-)
 delete mode 100644 Pipfile

diff --git a/.gitignore b/.gitignore
index c96b46f..53e4e19 100644
--- a/.gitignore
+++ b/.gitignore
@@ -63,3 +63,7 @@ target/
 
 # Vim swapfiles
 .*.sw?
+
+# Pipenv
+Pipfile
+Pipfile.lock
diff --git a/Pipfile b/Pipfile
deleted file mode 100644
index b5846df..0000000
--- a/Pipfile
+++ /dev/null
@@ -1,11 +0,0 @@
-[[source]]
-name = "pypi"
-url = "https://pypi.org/simple"
-verify_ssl = true
-
-[dev-packages]
-
-[packages]
-
-[requires]
-python_version = "3.8"
-- 
GitLab