From ce443fdae4167b71482f8cf4e71756b63ae29dfc Mon Sep 17 00:00:00 2001 From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org> Date: Mon, 15 Apr 2024 12:18:03 +0000 Subject: [PATCH] Copied miguel to latest in public with mike 2.0.0 --- public/latest | 2 +- public/versions.json | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/public/latest b/public/latest index c86c3f35..0f91a5e3 120000 --- a/public/latest +++ b/public/latest @@ -1 +1 @@ -none \ No newline at end of file +miguel \ No newline at end of file diff --git a/public/versions.json b/public/versions.json index ea73c3ad..518a2577 100644 --- a/public/versions.json +++ b/public/versions.json @@ -2,14 +2,14 @@ { "version": "none", "title": "none", - "aliases": [ - "latest" - ] + "aliases": [] }, { "version": "miguel", "title": "miguel", - "aliases": [] + "aliases": [ + "latest" + ] }, { "version": "v30", -- GitLab