diff --git a/doc/langref.html.in b/doc/langref.html.in index 1a8e3827f45c03fda92acdda41095aaa9f3a9468..e8950c54f0acc5525d9555cc2ef958efddfcb65c 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -317,6 +317,7 @@ 0.12.0 | 0.13.0 | 0.14.1 | + 0.15.0 | master