diff --git a/USER_MANUAL.html b/USER_MANUAL.html index 95fe8043..fdd8168f 100644 --- a/USER_MANUAL.html +++ b/USER_MANUAL.html @@ -1122,6 +1122,7 @@ device list. (PR #932)
  • Build system: