Merge branch 'main' into dev_deps

This commit is contained in:
besendorf
2025-08-21 16:01:11 +02:00
committed by GitHub
2 changed files with 6 additions and 2 deletions

View File

@@ -1,5 +1,5 @@
mkdocs==1.6.1
mkdocs-autorefs==1.4.2
mkdocs-material==9.6.16
mkdocs-material==9.6.17
mkdocs-material-extensions==1.3.1
mkdocstrings==0.30.0

View File

@@ -1135,5 +1135,9 @@
{
"version": "18.6",
"build": "22G86"
},
{
"version": "18.6.1",
"build": "22G90"
}
]
]