diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2023-10-13 16:45:39 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-10-14 10:23:27 +0200 |
commit | 1ba14a78055138675254fa658720c1cc953bee81 (patch) | |
tree | ce5a9cd9873547e7b4dbc32277a384598de8b521 /docs/articles/index.html | |
parent | 1cd3256663807720c5897bc7e445324d7c704a65 (diff) |
Update static docs and build logv1.2.6
Diffstat (limited to 'docs/articles/index.html')
-rw-r--r-- | docs/articles/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/articles/index.html b/docs/articles/index.html index c4b4e788..f6ad43c2 100644 --- a/docs/articles/index.html +++ b/docs/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-default" data-toggle="tooltip" data-placement="bottom" title="Released version">1.2.5</span> + <span class="version label label-default" data-toggle="tooltip" data-placement="bottom" title="Released version">1.2.6</span> </span> </div> |