diff options
Diffstat (limited to 'doc/lispref/front-cover-1.texi')
| -rw-r--r-- | doc/lispref/front-cover-1.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/lispref/front-cover-1.texi b/doc/lispref/front-cover-1.texi index 5c9f4351f42..56d0f2b1c2d 100644 --- a/doc/lispref/front-cover-1.texi +++ b/doc/lispref/front-cover-1.texi @@ -50,7 +50,3 @@ @end titlepage @bye - -@ignore - arch-tag: 5182b306-c403-4e4f-ba24-e1911bc6da9d -@end ignore |