diff --git a/Documentation/user-manual.html.git b/Documentation/user-manual.html.git index c501dbd9f..03d767e3b 100644 --- a/Documentation/user-manual.html.git +++ b/Documentation/user-manual.html.git @@ -4,7 +4,7 @@