From 44ca48d1c2d28fc8fe735954da3369dab07bab78 Mon Sep 17 00:00:00 2001 From: Carlos Rodriguez Date: Mon, 20 Jun 2022 15:53:23 +0200 Subject: [PATCH] add new release lines to dropdown menu (#1552) --- docs/.vuepress/config.js | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/docs/.vuepress/config.js b/docs/.vuepress/config.js index db8621621bb..aaf668ffc97 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: {