diff --git a/MANUAL.html b/MANUAL.html index 825867b..7eade36 100644 --- a/MANUAL.html +++ b/MANUAL.html @@ -3,772 +3,391 @@