diff --git a/doc/langref.html.in b/doc/langref.html.in index 00ed5752f5be3c5c30f4734fa0c79264f238c081..4bd831672af11d4bbe0e28066d974bbe69c9db3e 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -205,7 +205,7 @@ 0.5.0 | 0.6.0 | 0.7.1 | - 0.8.0 | + 0.8.1 | master

Contents

{#nav#}