remove JS.run() and JS.pause()
authoradam <adam@megacz.com>
Sun, 16 Jan 2005 01:24:06 +0000 (01:24 +0000)
committeradam <adam@megacz.com>
Sun, 16 Jan 2005 01:24:06 +0000 (01:24 +0000)
commit636483270e658488f7d7790e3d31f3e046748d3a
tree394c05e512efbd0757a0f86a9aaac6f5b62002f0
parent55be062f7146f8ca2899e1234e4546a0756520ee
remove JS.run() and JS.pause()

darcs-hash:20050116012406-5007d-b3f5204a0cab6d9b2b8d21749e06381c7e30bf21.gz
src/org/ibex/js/JS.java