diff --git a/doc/html/developers.html b/doc/html/developers.html index 8df4cdbc..a939b0cb 100644 --- a/doc/html/developers.html +++ b/doc/html/developers.html @@ -96,7 +96,7 @@