diff --git a/docs/manual.html b/docs/manual.html index 79eabf609..9829d802b 100644 --- a/docs/manual.html +++ b/docs/manual.html @@ -58,292 +58,36 @@
  • overview
  • things to keep in mind
  • network primitives
  • -
  • session