From a1c97ca77568566ce526812e42bbd471f048909f Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Thu, 5 Jun 2025 12:49:19 +0000
Subject: [PATCH] Set properties for v0.0.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 1cc5e39..6096a59 100644
--- a/public/versions.json
+++ b/public/versions.json
@@ -8,13 +8,16 @@
"version": "v0.0.1",
"title": "v0.0.1",
"aliases": [
- "latest",
- "latestR0"
+ "latestR0",
+ "latest"
]
},
{
"version": "v0.0.0",
"title": "v0.0.0",
- "aliases": []
+ "aliases": [],
+ "properties": {
+ "hidden": true
+ }
}
]
--
GitLab