diff make-dist @ 13237:1aa239b8d03c

(compile_pattern_1, compile_pattern, search_buffer): Case tables are char-tables now.
author Richard M. Stallman <rms@gnu.org>
date Wed, 18 Oct 1995 23:30:32 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff