From 11c22ded64ace2f00e1e179805c99f342cdbdb74 Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Wed, 16 Oct 2024 10:42:25 +0000
Subject: [PATCH] Set properties for v4.2.0 in public with mike 2.1.3
---
public/versions.json | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/public/versions.json b/public/versions.json
index b4f88531..a1cc85fc 100644
--- a/public/versions.json
+++ b/public/versions.json
@@ -8,9 +8,12 @@
"version": "v4.2.0",
"title": "v4.2.0",
"aliases": [
- "latestR4",
- "latest"
- ]
+ "latest",
+ "latestR4"
+ ],
+ "properties": {
+ "hidden": false
+ }
},
{
"version": "v4.1.1",
--
GitLab