diff --git a/doc/global.html b/doc/global.html index a882049..40369a3 100644 --- a/doc/global.html +++ b/doc/global.html @@ -267,7 +267,7 @@