diff etc/enriched.doc @ 10021:9203331b118a

(re_compile_fastmap): Really treat `succeed' like end.
author Richard M. Stallman <rms@gnu.org>
date Sat, 19 Nov 1994 10:37:38 +0000
parents 721cc180810c
children 2484f8186e34
line wrap: on
line diff