diff lib-src/make-docfile.c @ 70509:35036885ffb9

* xresources.texi (GTK resources): metafont should be menufont.
author Jan Djärv <jan.h.d@swipnet.se>
date Sun, 07 May 2006 19:32:49 +0000
parents 3661e9b3c48f
children 3d45362f1d38 c5406394f567
line wrap: on
line diff