diff --git a/docs/manual.html b/docs/manual.html index 46180610b..ed5d1ebdc 100755 --- a/docs/manual.html +++ b/docs/manual.html @@ -29,137 +29,138 @@
  • session
  • -
  • entry