[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Emacs-diffs] Changes to emacs/man/xresources.texi
|
From: |
Miles Bader |
|
Subject: |
[Emacs-diffs] Changes to emacs/man/xresources.texi |
|
Date: |
Mon, 01 Sep 2003 11:50:54 -0400 |
Index: emacs/man/xresources.texi
diff -c emacs/man/xresources.texi:1.18 emacs/man/xresources.texi:1.19
*** emacs/man/xresources.texi:1.18 Sat Jun 7 07:38:22 2003
--- emacs/man/xresources.texi Mon Sep 1 11:45:46 2003
***************
*** 929,931 ****
--- 929,935 ----
@noindent
@var{size} is a decimal number that describes the font size in points.
+
+ @ignore
+ arch-tag: 9b6ff773-48b6-41f6-b2f9-f114b8bdd97f
+ @end ignore
- [Emacs-diffs] Changes to emacs/man/xresources.texi,
Miles Bader <=