diff oldXMenu/X10.h @ 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 3861ff8f4bf1
children e8a3fb527b77 532e0a9335a9 2d92f5c9d6ae
line wrap: on
line diff