comparison 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
comparison
equal deleted inserted replaced
41050:af61f6964add 41051:b7eed8a7f650