From 247d927f49a8ba6e17e06acba117256ad73d41e9 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Hendrik=20J=C3=A4ger?= <gitcommit@henk.geekmail.org>
Date: Tue, 1 Aug 2023 21:27:41 +0200
Subject: [PATCH] add rudimentary Pipfile generated by pipenv

---
 Pipfile | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 Pipfile

diff --git a/Pipfile b/Pipfile
new file mode 100644
index 0000000..0757494
--- /dev/null
+++ b/Pipfile
@@ -0,0 +1,11 @@
+[[source]]
+url = "https://pypi.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+
+[dev-packages]
+
+[requires]
+python_version = "3.11"
-- 
2.39.2