Deployed cd6602882 to 2023.1 in en with MkDocs 1.4.2 and mike 2.1.3

2024-08-20 19:05:04 +01:00
parent 6422e4561e
commit fc4be72c99
115 changed files with 93459 additions and 0 deletions
@@ -1,4 +1,9 @@
 [
+  {
+    "version": "2023.1",
+    "title": "2023.1",
+    "aliases": []
+  },
  {
    "version": "2022.12",
    "title": "2022.12",