diff configure @ 33109:4f7feff5008f

Fix the @setfilename line.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 31 Oct 2000 18:48:19 +0000
parents 9492a4c33e92
children 2281a1a9c54a
line wrap: on
line diff