diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/protocol | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/protocol b/doc/protocol index f45799e..116c1b2 100644 --- a/doc/protocol +++ b/doc/protocol @@ -45,4 +45,3 @@ and `V(a)` is done when exiting the scope. It also means that these actions [P(a) and V(a)] are undone when the process exits, or if the call fails. `with V(a)` is to `V(a)` as `with P(a)` is to `P(a)`. - |