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/index.html | |
parent | 1cd3256663807720c5897bc7e445324d7c704a65 (diff) |
Update static docs and build logv1.2.6
Diffstat (limited to 'docs/index.html')
-rw-r--r-- | docs/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/index.html b/docs/index.html index e13f573e..79dadd3b 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.5</span> + <span class="version label label-default" data-toggle="tooltip" data-placement="bottom" title="Released version">1.2.6</span> </span> </div> |