summaryrefslogtreecommitdiffstats
path: root/DOCS/xml/fr/history.xml
diff options
context:
space:
mode:
Diffstat (limited to 'DOCS/xml/fr/history.xml')
-rw-r--r--DOCS/xml/fr/history.xml3
1 files changed, 1 insertions, 2 deletions
diff --git a/DOCS/xml/fr/history.xml b/DOCS/xml/fr/history.xml
index f1485c2401..6b73aaf08e 100644
--- a/DOCS/xml/fr/history.xml
+++ b/DOCS/xml/fr/history.xml
@@ -1,6 +1,5 @@
<?xml version="1.0" encoding="iso-8859-1"?>
-<!-- synced with r14025 -->
-<!-- FIXME: history really should be in the appendix -->
+<!-- synced with r20085 -->
<appendix id="history">
<title>Histoire</title>