# 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