From 78d34a8918edcb91982a3886e4898a63898f52c3 Mon Sep 17 00:00:00 2001
From: Johannes Ranke <jranke@uni-bremen.de>
Date: Thu, 20 Apr 2023 21:40:08 +0200
Subject: Update vignettes in dev docs

After the post-release fixes to the release version online docs
---
 docs/dev/reference/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/docs/dev/reference/index.html b/docs/dev/reference/index.html
index 85dc7c6e..d1b789c3 100644
--- a/docs/dev/reference/index.html
+++ b/docs/dev/reference/index.html
@@ -17,7 +17,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.3</span>
+        <span class="version label label-info" data-toggle="tooltip" data-placement="bottom" title="In-development version">1.2.4</span>
       </span>
     </div>
 
-- 
cgit v1.2.1