added db.getRemovedNodes() and db.getRemovedEdges() so that you can get at nodes...
[guess.git] / jythonc.sh
blobefeb71b1f3a1402df2f0a5606dcac58934f8a90a
1 #!/bin/sh
3 ./jython.sh Tools/jythonc/jythonc.py $@
5 echo $?