diff --git a/USER_MANUAL.html b/USER_MANUAL.html index aa4f99a3..bd95dbf6 100644 --- a/USER_MANUAL.html +++ b/USER_MANUAL.html @@ -652,9 +652,10 @@