log src/intervals.h @ 37678:ebec0594dece

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.