diff --git a/doc/langref.html.in b/doc/langref.html.in index af7e9b425eb5db80442623399024ae94fa878f50..0ea153e74ee250ffb6714d20996c4d11c6d652ca 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -193,7 +193,7 @@ 0.4.0 | 0.5.0 | 0.6.0 | - 0.7.0 | + 0.7.1 | 0.8.0 | master