# HG changeset patch
# User Luc Teirlinck <teirllm@auburn.edu>
# Date 1116278291 0
# Node ID a5dfc4cdba9e18b36e613f46837d1ecd0b17f348
# Parent  6d49a2df78a7e73311ef348746c19de4df3a8b0b
*** empty log message ***

diff -r 6d49a2df78a7 -r a5dfc4cdba9e man/ChangeLog
--- a/man/ChangeLog	Mon May 16 21:16:50 2005 +0000
+++ b/man/ChangeLog	Mon May 16 21:18:11 2005 +0000
@@ -1,3 +1,8 @@
+2005-05-16  Luc Teirlinck  <teirllm@auburn.edu>
+
+	* display.texi:  Various minor changes.
+	(Faces): Delete text that is repeated in the next section.
+
 2005-05-16  Nick Roberts  <nickrob@snap.net.nz>
 
 	* building.texi (Debugger Operation): Mention GUD tooltips are