diff options
| author | Wu, Ke <wuke@cs.umd.edu> | 2014-12-11 19:39:09 -0500 |
|---|---|---|
| committer | Wu, Ke <wuke@cs.umd.edu> | 2014-12-11 19:39:09 -0500 |
| commit | 1983c75c35b7f5dc3f356a2f9a9345d632b87650 (patch) | |
| tree | 582ffefec8d7c0a11ca02ceb944baa9af9879a01 /extractor/matchings_finder.h | |
| parent | 4e771cedf7071aa736cc05553a49b1301a13dafe (diff) | |
Remove index mapping; also read from attribute "src_tree"
Diffstat (limited to 'extractor/matchings_finder.h')
0 files changed, 0 insertions, 0 deletions