added db.getRemovedNodes() and db.getRemovedEdges() so that you can get at nodes...
[guess.git] / Tools / 
treecec7806fe231bfac5c4521f4a158e070211b5617
drwxr-xr-x   ..
drwxr-xr-x - freeze
drwxr-xr-x - jythonc