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