diff src/w32menu.c @ 82028:ff5079ea60b8

(tex-font-script-display): Change default to 0.2.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sun, 22 Jul 2007 19:20:33 +0000
parents 349c82ee7ef7
children 922696f363b0 0ece58f6e0aa 988f1edc9674
line wrap: on
line diff