diff options
Diffstat (limited to 'Pipfile')
-rw-r--r-- | Pipfile | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/Pipfile b/Pipfile deleted file mode 100644 index 0d7f836f..00000000 --- a/Pipfile +++ /dev/null @@ -1,18 +0,0 @@ -[[source]] -url = "https://pypi.org/simple" -verify_ssl = true -name = "pypi" - -[packages] -sphinx-rtd-theme = "*" -docutils = "*" -lxml = "*" -sphinx-notfound-page = "*" -Sphinx = ">=1.4.3" -sphinx-panels = "*" -transifex-client = "*" - -[dev-packages] - -[requires] -python_version = "3.9" |