diff --git a/doc/manual_es.html b/doc/manual_es.html index f1c7ce9..9d08b43 100755 --- a/doc/manual_es.html +++ b/doc/manual_es.html @@ -1,7 +1,7 @@