diff --git a/devel-docs/app/app-docs.sgml b/devel-docs/app/app-docs.sgml index b201d765e9..cc404c11d3 100644 --- a/devel-docs/app/app-docs.sgml +++ b/devel-docs/app/app-docs.sgml @@ -233,7 +233,6 @@ -