From bcd98a1fa3cd2fb4b7105b7ec6c129ca18f872e8 Mon Sep 17 00:00:00 2001
From: Johannes Ranke <jranke@uni-bremen.de>
Date: Fri, 17 Feb 2023 22:48:18 +0100
Subject: Update online docs, fix bug that surfaced

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

(limited to 'docs/dev/index.html')

diff --git a/docs/dev/index.html b/docs/dev/index.html
index 36a005ad..6ed5f55d 100644
--- a/docs/dev/index.html
+++ b/docs/dev/index.html
@@ -45,7 +45,7 @@
       </button>
       <span class="navbar-brand">
         <a class="navbar-link" href="index.html">mkin</a>
-        <span class="version label label-info" data-toggle="tooltip" data-placement="bottom" title="In-development version">1.2.2</span>
+        <span class="version label label-info" data-toggle="tooltip" data-placement="bottom" title="In-development version">1.2.3</span>
       </span>
     </div>
 
-- 
cgit v1.2.1