diff --git a/doc/global.html b/doc/global.html index 4e94b3f..8ecc43c 100644 --- a/doc/global.html +++ b/doc/global.html @@ -267,7 +267,7 @@