diff man/ChangeLog @ 64371:4073cd1355a9

*** empty log message ***
author Eli Zaretskii <eliz@gnu.org>
date Sat, 16 Jul 2005 11:54:17 +0000
parents 6a9bf2088665
children 72c8984e7af3
line wrap: on
line diff
--- a/man/ChangeLog	Sat Jul 16 11:53:25 2005 +0000
+++ b/man/ChangeLog	Sat Jul 16 11:54:17 2005 +0000
@@ -1,5 +1,9 @@
 2005-07-16  Eli Zaretskii  <eliz@gnu.org>
 
+	* display.texi (Standard Faces): Explain that customization of
+	`menu' face has no effect on w32 and with GTK.  Add
+	cross-references.
+
 	* cmdargs.texi (General Variables): Clarify the default location
 	of $HOME on w32 systems.