# HG changeset patch
# User gpoirier
# Date 1160925959 0
# Node ID 7e258473172db9f3eb61b5199461fa7ef4f68702
# Parent  ced7b10bbe9c3f9f18738e4225c712df1c4718bc
Bump sync tag, remove useless FIXME

diff -r ced7b10bbe9c -r 7e258473172d DOCS/xml/fr/history.xml
--- a/DOCS/xml/fr/history.xml	Sun Oct 15 14:35:18 2006 +0000
+++ b/DOCS/xml/fr/history.xml	Sun Oct 15 15:25:59 2006 +0000
@@ -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>