From 522457b02c5f50b7a4361b5b2be9d67d3478bfac Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Thu, 25 Apr 2024 12:51:43 +0000
Subject: [PATCH] Set properties for v4.1.3 in public with mike 2.0.0
---
public/versions.json | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/public/versions.json b/public/versions.json
index 678d1243..61b07134 100644
--- a/public/versions.json
+++ b/public/versions.json
@@ -10,7 +10,10 @@
{
"version": "v4.1.3",
"title": "v4.1.3",
- "aliases": []
+ "aliases": [],
+ "properties": {
+ "hidden": true
+ }
},
{
"version": "v4.1.2",
--
GitLab