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_fr.html.git | 12676 ++++++++++++++++---------------- 1 file changed, 6338 insertions(+), 6338 deletions(-) (limited to 'Documentation/user-manual_fr.html.git') diff --git a/Documentation/user-manual_fr.html.git b/Documentation/user-manual_fr.html.git index ac9c1b39e..4ce00200e 100644 --- a/Documentation/user-manual_fr.html.git +++ b/Documentation/user-manual_fr.html.git @@ -3,7 +3,7 @@ - +