diff --git a/USER_MANUAL.html b/USER_MANUAL.html index b0248b132..0861b61b4 100644 --- a/USER_MANUAL.html +++ b/USER_MANUAL.html @@ -663,6 +663,7 @@