diff options
Diffstat (limited to 'doc/lispref/tips.texi')
| -rw-r--r-- | doc/lispref/tips.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/lispref/tips.texi b/doc/lispref/tips.texi index 8726625afed..634c7da353c 100644 --- a/doc/lispref/tips.texi +++ b/doc/lispref/tips.texi @@ -1115,7 +1115,3 @@ This is the @dfn{footer line}; it appears at the very end of the file. Its purpose is to enable people to detect truncated versions of the file from the lack of a footer line. @end table - -@ignore - arch-tag: 9ea911c2-6b1d-47dd-88b7-0a94e8b27c2e -@end ignore |