diff --git a/USER_MANUAL.html b/USER_MANUAL.html index ecf1623d7..b21c289a5 100644 --- a/USER_MANUAL.html +++ b/USER_MANUAL.html @@ -621,6 +621,7 @@