From 5e1d07ee4b2c25d043a2b74e1c8394a5ecda8b0d Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Thu, 12 Oct 2023 14:13:12 +0200
Subject: [PATCH] Default version

---
 docs/overrides/main.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/overrides/main.html b/docs/overrides/main.html
index c6dbad9..f822d1d 100644
--- a/docs/overrides/main.html
+++ b/docs/overrides/main.html
@@ -12,7 +12,7 @@
         if (segments.length === 5) {
             return segments[3]
         } else {
-            return 'latest'
+            return '1.3'
         }
     }
     function switchVersion(value) {
-- 
GitLab