diff etc/HELLO @ 35257:187c0b3da663

(enum map_property): Removed. (get_local_map): Change prototype.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 12 Jan 2001 11:18:41 +0000
parents 183f7913ab90
children af4b46d3b81f
line wrap: on
line diff