diff --git a/htmlhelp/pages/sinistra.html b/htmlhelp/pages/sinistra.html index e728115c2..cbf029c2d 100755 --- a/htmlhelp/pages/sinistra.html +++ b/htmlhelp/pages/sinistra.html @@ -762,19 +762,26 @@ CAMPO