log src/intervals.h @ 37678:ebec0594dece

age author description
Fri, 12 Jan 2001 11:18:41 +0000 Gerd Moellmann (enum map_property): Removed.