From: Hendrik Jäger <gitcommit@henk.geekmail.org>
Date: Tue, 1 Aug 2023 19:27:41 +0000 (+0200)
Subject: add rudimentary Pipfile generated by pipenv
X-Git-Url: https://git.netwichtig.de/gitweb/?a=commitdiff_plain;h=247d927f49a8ba6e17e06acba117256ad73d41e9;p=user%2Fhenk%2Fcode%2Fpython%2Flearn_python.git

add rudimentary Pipfile generated by pipenv
---

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"