diff man/basic.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 7fb814227358
children 4c99ea8adc42 5e2d3828e89f
line wrap: on
line diff