diff man/xresources.texi @ 88123:375f2633d815

New directory
author Kenichi Handa <handa@m17n.org>
date Mon, 08 Sep 2003 11:56:09 +0000
parents 695cf19ef79e
children 68c22ea6027c
line wrap: on
line diff
--- a/man/xresources.texi	Thu Sep 04 04:00:49 2003 +0000
+++ b/man/xresources.texi	Mon Sep 08 11:56:09 2003 +0000
@@ -929,7 +929,3 @@
 
 @noindent
 @var{size} is a decimal number that describes the font size in points.
-
-@ignore
-   arch-tag: 9b6ff773-48b6-41f6-b2f9-f114b8bdd97f
-@end ignore