diff --git a/docs/manual/developer/index.html.en b/docs/manual/developer/index.html.en index bed4cd6951..634cbd3811 100644 --- a/docs/manual/developer/index.html.en +++ b/docs/manual/developer/index.html.en @@ -50,8 +50,7 @@