diff options
author | Andres Erbsen <andreser@mit.edu> | 2017-06-18 16:48:36 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2017-06-18 16:48:36 -0400 |
commit | 6d375335db79c5a50a929e03f3a0be2578f6cf49 (patch) | |
tree | 16774759bba65cb62f28eb6a3538049ce73b5437 /extract-function.sh | |
parent | 50bdf1a84e0472c252632833fe127374319acca8 (diff) |
remove unused extraction script
Diffstat (limited to 'extract-function.sh')
0 files changed, 0 insertions, 0 deletions