diff --git a/docs/manual/developer/index.html.en b/docs/manual/developer/index.html.en index b5c1db7114..9229dd7862 100644 --- a/docs/manual/developer/index.html.en +++ b/docs/manual/developer/index.html.en @@ -50,7 +50,7 @@

External Resources