diff lispintro/install-sh @ 65793:acecec3cf059

(ebnf-eps-production-list): Use insert-buffer-substring.
author Richard M. Stallman <rms@gnu.org>
date Sun, 02 Oct 2005 17:39:25 +0000
parents 23a1cea22d13
children
line wrap: on
line diff