diff configure @ 98479:7f884de2ee8d

(set-default-font): Make obsolete.
author Glenn Morris <rgm@gnu.org>
date Fri, 03 Oct 2008 07:24:43 +0000
parents dafd1efe2d45
children 29005e3eddab
line wrap: on
line diff