diff --git a/USER_MANUAL.html b/USER_MANUAL.html index 4e4c5d64..044f5ff6 100644 --- a/USER_MANUAL.html +++ b/USER_MANUAL.html @@ -1292,6 +1292,7 @@ synchronises. (PR #1482)