From 6503d96718b677366f2c797eb55f0f8af27421f1 Mon Sep 17 00:00:00 2001 From: Carlos Rodriguez Date: Fri, 17 Jun 2022 11:33:51 +0200 Subject: [PATCH] add new release lines to dropdown menu --- docs/.vuepress/config.js | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/docs/.vuepress/config.js b/docs/.vuepress/config.js index 7bb36d7c0f8..88c3e22288b 100644 --- a/docs/.vuepress/config.js +++ b/docs/.vuepress/config.js @@ -47,6 +47,10 @@ module.exports = { "label": "v1.3.0", "key": "v1.3.0" }, + { + "label": "v1.5.0", + "key": "v1.5.0" + }, { "label": "v1.4.0", "key": "v1.4.0" @@ -63,9 +67,17 @@ module.exports = { "label": "v2.2.0", "key": "v2.2.0" }, + { + "label": "v2.3.0", + "key": "v2.3.0" + }, { "label": "v3.0.0", "key": "v3.0.0" + }, + { + "label": "v3.1.0", + "key": "v3.1.0" } ], topbar: {