diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2018-09-15 16:00:05 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-09-15 16:07:22 -0700 |
commit | 10c94f1f68038b09749a0029cf729aad8d81fe92 (patch) | |
tree | 53abd5fa3094d0dc4d884be4abe83c7b81a36b06 /Documentation/mobile-manual_fr.html.git | |
parent | 23e97865f68064084d78176eacfee5f3ae7868ca (diff) | |
download | subsurface-10c94f1f68038b09749a0029cf729aad8d81fe92.tar.gz |
Update HTML versions of user manuals
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/mobile-manual_fr.html.git')
-rw-r--r-- | Documentation/mobile-manual_fr.html.git | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/mobile-manual_fr.html.git b/Documentation/mobile-manual_fr.html.git index e3ae2e663..f17b20e3d 100644 --- a/Documentation/mobile-manual_fr.html.git +++ b/Documentation/mobile-manual_fr.html.git @@ -4,7 +4,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=UTF-8" /> -<meta name="generator" content="AsciiDoc" /> +<meta name="generator" content="AsciiDoc 8.6.10" /> <title></title> <style type="text/css"> /* @@ -1020,7 +1020,7 @@ characteristics of the mobile device and the font characteristics used by <div id="footer"> <div id="footer-text"> Last updated - 2018-06-26 10:17:18 CEST + 2018-09-15 09:39:06 PDT </div> </div> </body> |