diff --git a/docs/manual/developer/documenting.html.en b/docs/manual/developer/documenting.html.en index 92e420efbd..540b957e10 100644 --- a/docs/manual/developer/documenting.html.en +++ b/docs/manual/developer/documenting.html.en @@ -10,7 +10,7 @@ -