diff options
| author | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-08-01 21:27:41 +0200 |
|---|---|---|
| committer | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-08-01 21:27:41 +0200 |
| commit | 247d927f49a8ba6e17e06acba117256ad73d41e9 (patch) | |
| tree | 8d2f9aba7af615036565341f1daf437f6eee8bfa | |
| parent | bb05fcc70d50d3920935e97172aa8478c395c6ef (diff) | |
add rudimentary Pipfile generated by pipenv
| -rw-r--r-- | Pipfile | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -0,0 +1,11 @@ +[[source]] +url = "https://pypi.org/simple" +verify_ssl = true +name = "pypi" + +[packages] + +[dev-packages] + +[requires] +python_version = "3.11" |