diff info/dir @ 49669:158253007cd0

(ebnf-optimize, ebnf-optimize1): Fix typo.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 10 Feb 2003 09:55:17 +0000
parents 0dcc2162a55f
children 1415d5164b81 d7ddb3e565de
line wrap: on
line diff