diff options
Diffstat (limited to 'doc/lispref/advice.texi')
| -rw-r--r-- | doc/lispref/advice.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/lispref/advice.texi b/doc/lispref/advice.texi index 544a6a211eb..b4a6862e19b 100644 --- a/doc/lispref/advice.texi +++ b/doc/lispref/advice.texi @@ -777,7 +777,3 @@ pieces of advice is the same. The only difference is that executed even if some previous piece of advice had an error or a non-local exit. If any around-advice is protected, then the whole around-advice onion is protected as a result. - -@ignore - arch-tag: 80c135c2-f1c3-4f8d-aa85-f8d8770d307f -@end ignore |