From 87125abeee024a0ad1ab30d157b41c34fb578490 Mon Sep 17 00:00:00 2001 From: Florian Fischer Date: Mon, 4 Jul 2022 13:37:45 +0200 Subject: add python development tooling --- Pipfile | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 Pipfile (limited to 'Pipfile') diff --git a/Pipfile b/Pipfile new file mode 100644 index 0000000..22f3c9d --- /dev/null +++ b/Pipfile @@ -0,0 +1,14 @@ +[[source]] +url = "https://pypi.org/simple" +verify_ssl = true +name = "pypi" + +[packages] + +[dev-packages] +pylint = "*" +yapf = "*" +mypy = "*" + +[requires] +python_version = "3.10" -- cgit v1.2.3