# HG changeset patch # User Jan Dj¸«£rv # Date 1147030369 0 # Node ID 35036885ffb9275295c24dfd76b207f0601a0814 # Parent b703396a95861bc089e4f92af2a764b552389b63 * xresources.texi (GTK resources): metafont should be menufont. diff -r b703396a9586 -r 35036885ffb9 man/ChangeLog --- a/man/ChangeLog Sun May 07 19:32:13 2006 +0000 +++ b/man/ChangeLog Sun May 07 19:32:49 2006 +0000 @@ -1,3 +1,7 @@ +2006-05-07 Jan Dj,Ad(Brv + + * xresources.texi (GTK resources): metafont should be menufont. + 2006-05-07 Romain Francoise * faq.texi (Using regular expressions): Fix typo.