From 1942c962e38eb733cac748d4a8b8eb19f9019566 Mon Sep 17 00:00:00 2001
From: Miles Bader <miles@gnu.org>
Date: Mon, 24 Apr 2006 05:21:21 +0000
Subject: [PATCH] Add arch tagline

---
 man/xresmini.texi | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/man/xresmini.texi b/man/xresmini.texi
index d25be5e1091..bf791a59e36 100644
--- a/man/xresmini.texi
+++ b/man/xresmini.texi
@@ -297,3 +297,7 @@ The margin of the menu bar, in characters.  Default is 1.
 @appendixsec GTK resources
 
 @c  Waiting for contents
+
+@ignore
+   arch-tag: e1856f29-2482-42c0-a990-233cdccd1f21
+@end ignore
-- 
2.39.2