diff install-sh @ 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 23a1cea22d13
children
line wrap: on
line diff