diff Gui/Makefile @ 2536:6426007cad63

Fixed broken BIOS workaround
author nick
date Mon, 29 Oct 2001 18:24:29 +0000
parents 3997f8eec36e
children 5d543521dd06
line wrap: on
line diff