From 997367e72a9e887ba87b439f926add8cdad3dc8f Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 13 May 2022 14:06:55 +0200 Subject: [PATCH] Remove unnecessary SUMMARY.md entries --- src/SUMMARY.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/SUMMARY.md b/src/SUMMARY.md index c6fb8a1..46385bc 100644 --- a/src/SUMMARY.md +++ b/src/SUMMARY.md @@ -62,14 +62,12 @@ # Programming Guide and Reference -- [Overview](./guide/index.md) - [Preserves](./guide/preserves.md) - [Working with schemas](./guide/working-with-schemas.md) - [Capturing and rendering interaction traces](./guide/tracing.md) # Specifications and Theory -- [Overview](./theory/index.md) - [Syndicated Actor Model](./syndicated-actor-model.md) - [Protocol specification](./protocol.md) - [System layer analysis]()