diff --git a/doc/region.html b/doc/region.html index c2080049d6..fe5a61b613 100644 --- a/doc/region.html +++ b/doc/region.html @@ -17,14 +17,11 @@