log src/intervals.h @ 38815:7ef80e3474d9

age author description
Fri, 12 Jan 2001 11:18:41 +0000 Gerd Moellmann (enum map_property): Removed.
Wed, 25 Oct 2000 05:13:17 +0000 Miles Bader (get_char_property_and_overlay): Add declaration.
Tue, 08 Aug 2000 14:39:46 +0000 Ken Raeburn (Fprevious_single_char_property_change): Declare.