diff configure @ 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 181e78d8e616
children 6e1f6ef9bc5f 693e794b57bf
line wrap: on
line diff