diff lispref/gpl.texi @ 88123:375f2633d815

New directory
author Kenichi Handa <handa@m17n.org>
date Mon, 08 Sep 2003 11:56:09 +0000
parents 695cf19ef79e
children 548375b6b1f8
line wrap: on
line diff
--- a/lispref/gpl.texi	Thu Sep 04 04:00:49 2003 +0000
+++ b/lispref/gpl.texi	Mon Sep 08 11:56:09 2003 +0000
@@ -398,6 +398,3 @@
 library.  If this is what you want to do, use the GNU Lesser General
 Public License instead of this License.
 
-@ignore
-   arch-tag: d00ac830-e120-41fb-bbc5-7ca3eeaa227f
-@end ignore