diff --git a/doc/html/developers.html b/doc/html/developers.html index e8f7b4cc..e389fd9f 100644 --- a/doc/html/developers.html +++ b/doc/html/developers.html @@ -84,12 +84,6 @@