diff GETTING.GNU.SOFTWARE @ 32849:e1dec7e5a57c

(get_char_property_and_overlay): New function. (Fget_char_property): Use it.
author Miles Bader <miles@gnu.org>
date Wed, 25 Oct 2000 05:14:01 +0000
parents 6fcc2c9a1857
children
line wrap: on
line diff