Deployed bf53d037b to 2020.5 in en with MkDocs 1.6.0 and mike 2.1.2

2024-08-20 18:56:35 +01:00
parent 01a53b486d
commit c6a13690c7
82 changed files with 48445 additions and 0 deletions
@@ -1,4 +1,9 @@
 [
+  {
+    "version": "2020.5",
+    "title": "2020.5",
+    "aliases": []
+  },
  {
    "version": "2020.4",
    "title": "2020.4",