diff lispref/os.texi @ 52401:695cf19ef79e

Add arch taglines
author Miles Bader <miles@gnu.org>
date Mon, 01 Sep 2003 15:45:59 +0000
parents 8cec82e55147
children 3832b88b0957 375f2633d815
line wrap: on
line diff
--- a/lispref/os.texi	Mon Sep 01 15:45:46 2003 +0000
+++ b/lispref/os.texi	Mon Sep 01 15:45:59 2003 +0000
@@ -2075,3 +2075,7 @@
   nil)
 @end group
 @end example
+
+@ignore
+   arch-tag: 8378814a-30d7-467c-9615-74a80b9988a7
+@end ignore