diff etc/MACHINES @ 34805:aef14b635283

Fix the same problem as described on ebnf2ps.el log entry. Doc fix. (ebnf-iso-comment-chars): Const fix.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 21 Dec 2000 21:23:06 +0000
parents ba48db63fa14
children 8de4d56acf6e
line wrap: on
line diff