* xresources.texi (GTK resources): metafont should be menufont.
authorJan Djärv <jan.h.d@swipnet.se>
Sun, 7 May 2006 19:32:49 +0000 (19:32 +0000)
committerJan Djärv <jan.h.d@swipnet.se>
Sun, 7 May 2006 19:32:49 +0000 (19:32 +0000)
commit987678e31b8a90a80bead3337093d8ad2266dffb
treef8efa86c9fdf69da20e4f75f94531bf95448765f
parent35d3955b0e8f3beb643c20f4d46ab60916797ce3
* xresources.texi (GTK resources): metafont should be menufont.
man/ChangeLog