diff update-subdirs @ 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 b99080e25b28
children 7c327a7ce0e2 72dea2ff0142
line wrap: on
line diff