better implementation of BitVector.setAndSignExtend()
[fleet.git] / ships / DDR2.ship
2008-10-27 adamadd flush support to ships