diff make-dist @ 41051:b7eed8a7f650

(Fontsets): Remove the description of variable `highlight-wrong-size-font'.
author Pavel Janík <Pavel@Janik.cz>
date Wed, 14 Nov 2001 13:34:06 +0000
parents 80822bf12d5e
children 1daffd332bcd
line wrap: on
line diff