diff src/s/gnu-linux.h @ 25000:866dad44a275

(text_property_list): New. (add_text_properties_from_list): New. (extend_property_ranges): New. (validate_interval_range): Make it externally visible.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 21 Jul 1999 21:43:52 +0000
parents dcc1ebab38c1
children ae314c884db0
line wrap: on
line diff