diff --git a/arangod/Documentation/user-manual.dox b/arangod/Documentation/user-manual.dox index d7a3413923..1f0b46d38f 100644 --- a/arangod/Documentation/user-manual.dox +++ b/arangod/Documentation/user-manual.dox @@ -83,7 +83,6 @@ ///