diff options
Diffstat (limited to 'doc/lispref/abbrevs.texi')
| -rw-r--r-- | doc/lispref/abbrevs.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/lispref/abbrevs.texi b/doc/lispref/abbrevs.texi index dcc3c57663b..00232b36f48 100644 --- a/doc/lispref/abbrevs.texi +++ b/doc/lispref/abbrevs.texi @@ -512,7 +512,3 @@ added to the table. @end table - -@ignore - arch-tag: 5ffdbe08-2cd4-48ec-a5a8-080f95756eec -@end ignore |