diff man/flymake.texi @ 66951:e21a70dc8958

(easy-menu-intern): Don't define. (pr-get-symbol): Use easy-menu-intern only if defined.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 16 Nov 2005 22:43:28 +0000
parents 69b3598a61c5
children 3d53033a6d29
line wrap: on
line diff