Cleaning up: Removing the full-blown graph traversal.
[jpf-core.git] / lib / extract.sh
2019-08-01 rtrimanaAdding extract script for libraries.