diff options
Diffstat (limited to 'Documentation/user-manual_fr.html.git')
| -rw-r--r-- | Documentation/user-manual_fr.html.git | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/user-manual_fr.html.git b/Documentation/user-manual_fr.html.git index c363774df..831fcdbf6 100644 --- a/Documentation/user-manual_fr.html.git +++ b/Documentation/user-manual_fr.html.git @@ -7657,7 +7657,7 @@ salvaged after being overwritten by new dives.</p></div> <div id="footer"> <div id="footer-text"> Last updated - 2017-10-11 10:34:39 CEST + 2017-10-16 10:45:06 CEST </div> </div> </body> |