diff options
Diffstat (limited to 'doc/lispintro/doclicense.texi')
| -rw-r--r-- | doc/lispintro/doclicense.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/lispintro/doclicense.texi b/doc/lispintro/doclicense.texi index 1aa76136110..51342e96d60 100644 --- a/doc/lispintro/doclicense.texi +++ b/doc/lispintro/doclicense.texi @@ -506,7 +506,3 @@ to permit their use in free software. @c ispell-local-pdict: "ispell-dict" @c End: -@ignore - arch-tag: 839f250e-4800-4bc9-bd28-49ec7968331f -@end ignore - |