diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-03-27 11:47:48 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-03-27 11:47:48 +0100 |
| commit | 20ece4e0bcbeceb90a940e04a858f4ffb6d6b5e4 (patch) | |
| tree | 7595dbb6e129332a6ad0c273ecd3fbd92643e0d5 /docs/articles | |
| parent | 731dd9450f08868140f90af7a305133ec9342994 (diff) | |
| parent | 68eed166cbe10a5ee79f5b1139261dea98234b22 (diff) | |
Merge branch 'master' into mxkin
Diffstat (limited to 'docs/articles')
| -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 ac5f5df1..3e181a2c 100644 --- a/docs/articles/index.html +++ b/docs/articles/index.html @@ -67,7 +67,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">0.9.49.8</span> + <span class="version label label-default" data-toggle="tooltip" data-placement="bottom" title="Released version">0.9.49.9</span> </span> </div> |