Fix the reset.
[bos2k9.git] / de2_pins.tcl
2009-06-24 Malte S. StretzUse DE2 port names.