This repository has been archived on 2022-07-07. You can view files and clone it, but cannot push or open issues or pull requests.
docs/Pipfile

11 lines
148 B
Text
Raw Normal View History

2020-08-14 11:16:39 +00:00
[[source]]
name = "pypi"
url = "https://pypi.org/simple"
verify_ssl = true
[dev-packages]
[packages]
2022-07-07 18:47:34 +00:00
mkdocs-material = "*"
2020-08-14 11:16:39 +00:00
markdown-include = "*"