diff man/mini.texi @ 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 de2f745df406
children 5be168598322
line wrap: on
line diff