Remove unused Pipfile

2022-05-21 17:35:29 +02:00 · 2022-05-21 17:35:29 +02:00 · 56c703283b
commit 56c703283b
parent 9bad62650e
1 changed files with 0 additions and 11 deletions
--- a/11
+++ b/11
@ -1,11 +0,0 @@
-[[source]]
-url = "https://pypi.org/simple"
-verify_ssl = true
-name = "pypi"
-
-[packages]
-
-[dev-packages]
-
-[requires]
-python_version = "3.10"