diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2018-07-10 18:06:29 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2018-07-10 18:06:29 +0200 |
| commit | 22b36c824fe5e1561868a649216fe079c6fbfb85 (patch) | |
| tree | d37a158c3933c9f91fe6c925fc768d7219bc1fca /docs/reference/focus_80th.html | |
| parent | cb3695dd434b3a3273217fb22c5ffb86065ae96d (diff) | |
Update static docs
Diffstat (limited to 'docs/reference/focus_80th.html')
| -rw-r--r-- | docs/reference/focus_80th.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/reference/focus_80th.html b/docs/reference/focus_80th.html index 375e15a..0604fa7 100644 --- a/docs/reference/focus_80th.html +++ b/docs/reference/focus_80th.html @@ -64,7 +64,7 @@ values obtained by PELMO." /> </button> <span class="navbar-brand"> <a class="navbar-link" href="../index.html">pfm</a> - <span class="label label-default" data-toggle="tooltip" data-placement="bottom" title="Released package">0.4.6</span> + <span class="label label-default" data-toggle="tooltip" data-placement="bottom" title="Released package">0.5.1</span> </span> </div> |