diff FTP @ 73914:4f55cacfb44d

(ebnf-stop-on-error): Improve previous doc fix.
author Glenn Morris <rgm@gnu.org>
date Sat, 11 Nov 2006 04:02:22 +0000
parents 6cd56cde7cd4
children 5e1b6a63ac46
line wrap: on
line diff