diff man/xresources.texi @ 52401:695cf19ef79e

Add arch taglines
author Miles Bader <miles@gnu.org>
date Mon, 01 Sep 2003 15:45:59 +0000
parents 00fdc9cef470
children fef189326a95 375f2633d815
line wrap: on
line diff
--- a/man/xresources.texi	Mon Sep 01 15:45:46 2003 +0000
+++ b/man/xresources.texi	Mon Sep 01 15:45:59 2003 +0000
@@ -929,3 +929,7 @@
 
 @noindent
 @var{size} is a decimal number that describes the font size in points.
+
+@ignore
+   arch-tag: 9b6ff773-48b6-41f6-b2f9-f114b8bdd97f
+@end ignore