diff --git a/doc/langref.html.in b/doc/langref.html.in index 96034d9173f5811a75503b9b675871a172330495..5ab601ab991af4d7b6792865b632083b3ba5af8d 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -316,6 +316,7 @@ 0.11.0 | 0.12.0 | 0.13.0 | + 0.14.0 | master