From c7c686f730a0480483452152c8e0e5efe3257c91 Mon Sep 17 00:00:00 2001 From: Dirk Hohndel Date: Tue, 13 Oct 2015 13:19:27 -0700 Subject: Update user manual html files included in the sources Signed-off-by: Dirk Hohndel --- Documentation/user-manual.html.git | 2590 +++++-- Documentation/user-manual_es.html.git | 2451 ++++-- Documentation/user-manual_fr.html.git | 12676 ++++++++++++++++---------------- Documentation/user-manual_ru.html.git | 2239 +++--- 4 files changed, 11316 insertions(+), 8640 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 @@ - +