From 9abab1e2d4385039b01ad3dc0d9c5966bbe94fee Mon Sep 17 00:00:00 2001
From: Johannes Ranke <jranke@uni-bremen.de>
Date: Wed, 9 Aug 2023 17:59:42 +0200
Subject: Update static docs

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

(limited to 'docs/index.html')

diff --git a/docs/index.html b/docs/index.html
index 06cdfdfb..79716087 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -44,7 +44,7 @@
       </button>
       <span class="navbar-brand">
         <a class="navbar-link" href="index.html">mkin</a>
-        <span class="version label label-default" data-toggle="tooltip" data-placement="bottom" title="Released version">1.2.4</span>
+        <span class="version label label-default" data-toggle="tooltip" data-placement="bottom" title="Released version">1.2.5</span>
       </span>
     </div>
 
-- 
cgit v1.2.1