From 247d927f49a8ba6e17e06acba117256ad73d41e9 Mon Sep 17 00:00:00 2001 From: Hendrik Jäger Date: Tue, 1 Aug 2023 21:27:41 +0200 Subject: 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" -- cgit v1.2.3