diff --git a/doc/langref.html.in b/doc/langref.html.in index d305460d6623a089881d92390f726b2732dc0002..c06f40366c3aa3b7f0c2e896ddc8b0160c17a6be 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -333,7 +333,6 @@ content: ""; } } - }