diff --git a/doc/manual_en.html b/doc/manual_en.html index 9a0bdb9..d92ffe1 100755 --- a/doc/manual_en.html +++ b/doc/manual_en.html @@ -1,7 +1,7 @@