diff COPYING @ 51121:e8c521db7bea

(get_local_map): Don't get char-property of previous point any more: get_pos_property already does it and better.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 21 May 2003 16:39:49 +0000
parents a21a2f14a765
children d92149473c34
line wrap: on
line diff