diff man/flymake.texi @ 63082:24720eb84061

(tmm-inactive, tmm-remove-inactive-mouse-face): Rename `tmm-inactive-face' to `tmm-inactive'.
author Juri Linkov <juri@jurta.org>
date Mon, 06 Jun 2005 16:27:35 +0000
parents 7c70ab62c5d7
children c8b57e4594b8
line wrap: on
line diff