diff --git a/doc/langref.html.in b/doc/langref.html.in index 5599cc215449a9d5ce772bb0a3fbf63a4f21f58a..1869681d059e59dbda2a14016f5ef60549bfc3a1 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -160,6 +160,7 @@ 0.2.0 | 0.3.0 | 0.4.0 | + 0.5.0 | master
{#header_open|Introduction#}