diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2021-10-05 17:33:52 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2021-10-05 17:33:52 +0200 |
commit | ff83d8b2ba623513d92ac90fac4a1b0ec98c2cb5 (patch) | |
tree | 7811a1e083951d84bd54bfce9bb62af640da329e /docs/dev/reference/mixed.html | |
parent | 121e38654eea03c91aa117da58fc342feff01756 (diff) |
Update docs
Diffstat (limited to 'docs/dev/reference/mixed.html')
-rw-r--r-- | docs/dev/reference/mixed.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/dev/reference/mixed.html b/docs/dev/reference/mixed.html index 338480ee..4c849671 100644 --- a/docs/dev/reference/mixed.html +++ b/docs/dev/reference/mixed.html @@ -72,7 +72,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.0.5</span> + <span class="version label label-info" data-toggle="tooltip" data-placement="bottom" title="In-development version">1.1.0</span> </span> </div> |