diff configure @ 31265:d33c1be1708d

Fix the file name in the entries for ebnf2ps.el.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 29 Aug 2000 11:33:06 +0000
parents 0c280e986946
children 298f3aff1431
line wrap: on
line diff