From d203db63fa8ff881aab22645f811a7215ed0a71a Mon Sep 17 00:00:00 2001 From: Andrea Ostuni Date: Mon, 5 Feb 2024 18:19:09 +0100 Subject: [PATCH] redirect to devel branch --- index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/index.html b/index.html index 11a70a4a..f34608c5 100644 --- a/index.html +++ b/index.html @@ -1,9 +1,9 @@ - Redirecting to master branch + Redirecting to devel branch - +