diff --git a/doc/html/developers.html b/doc/html/developers.html index 09fd0499..a59f2f78 100644 --- a/doc/html/developers.html +++ b/doc/html/developers.html @@ -103,9 +103,6 @@