Repository: debian-cd/tools/boot/woody who: jwest time: Thu Nov 15 17:24:47 PST 2001 Log Message: small change suggested by Petter Reinholdtsen Files: changed: boot-i386