add pipfile

Signed-off-by: Jonas Weinz <jo.we93@gmx.de>
2020-05-03 10:02:01 +02:00 · 2020-05-03 10:02:01 +02:00 · 567f7d3c67
commit 567f7d3c67
parent ae1ce14f3a
1 changed files with 16 additions and 0 deletions
--- a/16
+++ b/16
@ -0,0 +1,16 @@
+[[source]]
+url = "https://pypi.python.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+jupyterlab = "*"
+numpy = "*"
+pylint = "*"
+flake8 = "*"
+rope = "*"
+
+[dev-packages]
+
+[requires]
+python_version = "3.8"