diff --git a/doc/global.html b/doc/global.html index 9420535..0546f0b 100644 --- a/doc/global.html +++ b/doc/global.html @@ -267,7 +267,7 @@