diff --git a/docs/LangRef.html b/docs/LangRef.html index e14d2f1103b..0bfbef8bb1f 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -22,7 +22,7 @@