Merge branch 'master' into merge/piri-piri

This commit is contained in:
squidfunk
2023-08-01 13:30:52 +02:00
15 changed files with 910 additions and 427 deletions

View File

@@ -21,7 +21,7 @@
# Requirements for core
jinja2>=3.0
markdown>=3.2
mkdocs>=1.5
mkdocs>=1.5.1
mkdocs-material-extensions>=1.1
pygments>=2.14
pymdown-extensions>=9.9.1