diff options
author | Jean-Charles Malahieude <lilyfan@orange.fr> | 2016-10-05 19:09:20 +0200 |
---|---|---|
committer | Jean-Charles Malahieude <lilyfan@orange.fr> | 2016-10-05 19:09:20 +0200 |
commit | cc55c5c306ca013f28fa43a77132c3a82c2a32bc (patch) | |
tree | d7a60c4baf2f5bbe6be1aac7009970b07dbeb164 | |
parent | 03d47798d39bd9ce2a87376ea1585f1f31c1b81b (diff) |
Web-fr: missing divEnd
-rw-r--r-- | Documentation/fr/web.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Documentation/fr/web.texi b/Documentation/fr/web.texi index 68c924ee7d..6f3c7565c1 100644 --- a/Documentation/fr/web.texi +++ b/Documentation/fr/web.texi @@ -1,6 +1,6 @@ \input texinfo @c -*- coding: utf-8; mode: texinfo; documentlanguage: fr -*- @ignore - Translation of GIT committish: 0628cc44250b21d422b21890a7f266cd4b5ca584 + Translation of GIT committish: 03d47798d39bd9ce2a87376ea1585f1f31c1b81b When revising a translation, copy the HEAD committish of the version that you are working on. For details, see the Contributors' @@ -197,6 +197,7 @@ Venez puiser l'inspiration dans notre galerie @divEnd +@divEnd @ifclear web_version @c do nothing |