diff --git a/doc/manual_fr.html b/doc/manual_fr.html index 8f4e09b..c2e0f90 100755 --- a/doc/manual_fr.html +++ b/doc/manual_fr.html @@ -1,7 +1,7 @@