Deployed eed0d6700 to 2022.5 in en with MkDocs 1.3.0 and mike 2.1.3

2024-08-20 19:02:52 +01:00
parent fb7bd18fba
commit 445a0d3fbe
93 changed files with 70620 additions and 0 deletions
@@ -1,4 +1,9 @@
 [
+  {
+    "version": "2022.5",
+    "title": "2022.5",
+    "aliases": []
+  },
  {
    "version": "2022.4.2",
    "title": "2022.4.2",