diff info/dir @ 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 42e9220a8c60
children 559124ef70c9 fa0da9b57058
line wrap: on
line diff