diff options
| -rw-r--r-- | docs/LangRef.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 9e1a1e4415..b76a3d533c 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2186,6 +2186,8 @@ in signal handlers).</p> </div> +</div> + <!-- *********************************************************************** --> <h2><a name="constants">Constants</a></h2> <!-- *********************************************************************** --> |