# HG changeset patch # User Jan Dj¸«£rv # Date 1147030768 0 # Node ID cd1e2cf9f28ca2ca6add46595fb9086f3adbadd3 # Parent fc945cb968d94a6271c1a19a65277826e6d69563 * xresmini.texi (GTK resources): Inserted GTK description. diff -r fc945cb968d9 -r cd1e2cf9f28c man/ChangeLog --- a/man/ChangeLog Sun May 07 19:38:49 2006 +0000 +++ b/man/ChangeLog Sun May 07 19:39:28 2006 +0000 @@ -1,5 +1,7 @@ 2006-05-07 Jan Dj,Ad(Brv + * xresmini.texi (GTK resources): Inserted GTK description. + * xresources.texi (GTK resources): metafont should be menufont. 2006-05-07 Romain Francoise