diff options
| -rw-r--r-- | DOCS/xml/fr/bugs.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/xml/fr/bugs.xml b/DOCS/xml/fr/bugs.xml index 39062bd5db..cf3da959ed 100644 --- a/DOCS/xml/fr/bugs.xml +++ b/DOCS/xml/fr/bugs.xml @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="iso-8859-1"?> -<!-- synced with r15783 $ --> +<!-- synced with r15783 --> <appendix id="bugs"> <title>Bogues connus</title> <sect1 id="bugs-special"> |