diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2018-06-20 14:53:02 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2018-06-20 14:53:02 +0200 |
| commit | 6acfd0dfb2670e3eeab6144c90586f28105583a8 (patch) | |
| tree | f9c3dc75470155f2e81ae920b1e02dd98e844650 /docs/reference/get_interval.html | |
| parent | cac29c8c1cc0f6004ef0cd63229cfb993a24496c (diff) | |
Update static docs
Diffstat (limited to 'docs/reference/get_interval.html')
| -rw-r--r-- | docs/reference/get_interval.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/reference/get_interval.html b/docs/reference/get_interval.html index 2d1dc02..0cd69f3 100644 --- a/docs/reference/get_interval.html +++ b/docs/reference/get_interval.html @@ -61,7 +61,7 @@ </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.5</span> + <span class="label label-default" data-toggle="tooltip" data-placement="bottom" title="Released package">0.4.6</span> </span> </div> |