summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJean-Charles Malahieude <lilyfan@orange.fr>2016-10-05 19:09:20 +0200
committerJean-Charles Malahieude <lilyfan@orange.fr>2016-10-05 19:09:20 +0200
commitcc55c5c306ca013f28fa43a77132c3a82c2a32bc (patch)
treed7a60c4baf2f5bbe6be1aac7009970b07dbeb164
parent03d47798d39bd9ce2a87376ea1585f1f31c1b81b (diff)
Web-fr: missing divEnd
-rw-r--r--Documentation/fr/web.texi3
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