Set title of main to development with mike 1.1.2

gh-pages
GitHub Action 2022-04-14 08:11:24 +00:00
parent 0da268f31c
commit 60f39a452f
1 changed files with 1 additions and 1 deletions

View File

@ -1 +1 @@
[{"version": "REL1_0_STABLE", "title": "1.0.x (stable)", "aliases": []}, {"version": "master", "title": "latest", "aliases": []}, {"version": "main", "title": "latest", "aliases": []}]
[{"version": "REL1_0_STABLE", "title": "1.0.x (stable)", "aliases": []}, {"version": "master", "title": "latest", "aliases": []}, {"version": "main", "title": "development", "aliases": []}]