diff --git a/doc/langref.html.in b/doc/langref.html.in index 28577560e285cc9532383ee8d5d901f57a6e791b..02c9130845c8e9d8c1a7eab62111060b5c08b589 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -315,6 +315,7 @@ 0.10.1 | 0.11.0 | 0.12.0 | + 0.13.0 | master