From 567f7d3c67e049d91f23a336630761e349e08afd Mon Sep 17 00:00:00 2001 From: Jonas Weinz Date: Sun, 3 May 2020 10:02:01 +0200 Subject: [PATCH] add pipfile Signed-off-by: Jonas Weinz --- Pipfile | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 Pipfile diff --git a/Pipfile b/Pipfile new file mode 100644 index 0000000..0b7d4ac --- /dev/null +++ b/Pipfile @@ -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"