add pipfile

jurc192 · jurc192 · commit c05720402142 · 2022-03-28T13:07:28.000+02:00
diff --git a/Pipfile b/Pipfile
@@ -0,0 +1,15 @@
+[[source]]
+url = "https://pypi.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+ipython = "*"
+numpy = "*"
+python-language-server = "*"
+pyserial = "*"
+
+[dev-packages]
+
+[requires]
+python_version = "3.10"
