use push more
authorbrian <brian@brianweb.net>
Mon, 4 Jul 2005 01:09:45 +0000 (01:09 +0000)
committerbrian <brian@brianweb.net>
Mon, 4 Jul 2005 01:09:45 +0000 (01:09 +0000)
commit1dc8d09e9f6b1a05ccd0a190ab63359ce90e363d
tree7b1ae8e647428e9efe9054f05069fdb245bdc0ba
parent47af83f48565cf03d4e1a4c9b692b92beab8efcf
use push more

darcs-hash:20050704010945-24bed-8d40ea06667f7931bb0fa9ec6a47087e054ba84c.gz
src/org/ibex/classgen/JSSA.java