aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/articles/index.html
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2023-04-20 21:40:08 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2023-04-20 21:40:08 +0200
commit78d34a8918edcb91982a3886e4898a63898f52c3 (patch)
treeb1da84f5e140a2e99d87ea721a478b0e15a29972 /docs/dev/articles/index.html
parentd5d6560fe453f71e7ed9dde8d1eb087ffc305b5b (diff)
Update vignettes in dev docs
After the post-release fixes to the release version online docs
Diffstat (limited to 'docs/dev/articles/index.html')
-rw-r--r--docs/dev/articles/index.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/dev/articles/index.html b/docs/dev/articles/index.html
index 2aacc53a..c9116643 100644
--- a/docs/dev/articles/index.html
+++ b/docs/dev/articles/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>

Contact - Imprint