diff --git a/doc/html/developers.html b/doc/html/developers.html index 83c7f56b..036ebe57 100644 --- a/doc/html/developers.html +++ b/doc/html/developers.html @@ -104,9 +104,6 @@