diff etc/Makefile @ 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 4baa1bd953d8
children 86432f19ad96
line wrap: on
line diff