comparison make-dist @ 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 b99080e25b28
children ef43d43a40be 72dea2ff0142
comparison
equal deleted inserted replaced
70508:b703396a9586 70509:35036885ffb9