diff admin/nt/makedist.bat @ 45864:112a1c9eb59b

use correct @setfilename
author David Kastrup <dak@gnu.org>
date Mon, 17 Jun 2002 14:43:03 +0000
parents 187e89d56f7a
children 12c610626e32 d7ddb3e565de
line wrap: on
line diff