diff man/files.texi @ 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 ef44a1524bc8
children 6c8bcb760760 fa0da9b57058
line wrap: on
line diff