diff options
| -rw-r--r-- | DOCS/xml/fr/ports.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/DOCS/xml/fr/ports.xml b/DOCS/xml/fr/ports.xml index 9000913f8d..77c7ae67cd 100644 --- a/DOCS/xml/fr/ports.xml +++ b/DOCS/xml/fr/ports.xml @@ -436,6 +436,7 @@ Exemple: <para> Ci-dessous sont exposées les solutions pour certains problèmes communs: +</para> <itemizedlist> <listitem> |