diff --git a/book/404.html b/book/404.html index e16342b..6b7b2b1 100644 --- a/book/404.html +++ b/book/404.html @@ -190,21 +190,6 @@ - - - diff --git a/book/API.html b/book/API.html index ed3e4e6..ef4305b 100644 --- a/book/API.html +++ b/book/API.html @@ -281,21 +281,6 @@ - - - diff --git a/book/Hole.html b/book/Hole.html index 5ee3b7f..c7178a6 100644 --- a/book/Hole.html +++ b/book/Hole.html @@ -195,21 +195,6 @@ - - - diff --git a/book/Message-flow.html b/book/Message-flow.html index ae4062c..177c8fe 100644 --- a/book/Message-flow.html +++ b/book/Message-flow.html @@ -207,21 +207,6 @@ - - - diff --git a/book/Protocol.html b/book/Protocol.html index 1d9d7e3..12197ed 100644 --- a/book/Protocol.html +++ b/book/Protocol.html @@ -234,21 +234,6 @@ EndMessage - - - diff --git a/book/index.html b/book/index.html index d2350a4..f9cbb5e 100644 --- a/book/index.html +++ b/book/index.html @@ -195,21 +195,6 @@ - - - diff --git a/book/print.html b/book/print.html index 265f338..ba81c7d 100644 --- a/book/print.html +++ b/book/print.html @@ -313,21 +313,6 @@ EndMessage - - -