diff man/help.texi @ 32978:ca33eb68d9da

(syms_of_fontset) [WINDOWSNT]: Make default fontsize on w32 10 point, as Windows has oversized fonts.
author Jason Rumney <jasonr@gnu.org>
date Fri, 27 Oct 2000 18:57:17 +0000
parents 2b1871fcf25f
children b298f10891e5
line wrap: on
line diff