diff --git a/docs/manual.html b/docs/manual.html index a27f04740..220e0a332 100755 --- a/docs/manual.html +++ b/docs/manual.html @@ -94,41 +94,42 @@
  • alerts
  • -
  • exceptions