diff --git a/doc/langref.html.in b/doc/langref.html.in index b0552d1f17ebc5519007b6a7f71734299aa6086f..fb3d055034d079366834cb929dd767a28b276bc1 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -2,7 +2,6 @@