From c7c686f730a0480483452152c8e0e5efe3257c91 Mon Sep 17 00:00:00 2001 From: Dirk Hohndel Date: Tue, 13 Oct 2015 13:19:27 -0700 Subject: [PATCH] Update user manual html files included in the sources Signed-off-by: Dirk Hohndel --- Documentation/user-manual.html.git | 2568 +++-- Documentation/user-manual_es.html.git | 2339 +++-- Documentation/user-manual_fr.html.git | 12676 ++++++++++++------------ Documentation/user-manual_ru.html.git | 2263 +++-- 4 files changed, 11261 insertions(+), 8585 deletions(-) diff --git a/Documentation/user-manual.html.git b/Documentation/user-manual.html.git index bae97b6af..b27b7ebbd 100644 --- a/Documentation/user-manual.html.git +++ b/Documentation/user-manual.html.git @@ -3,7 +3,7 @@ - +