diff options
| author | Michael Denkowski <mdenkows@cs.cmu.edu> | 2013-09-15 20:32:59 -0700 |
|---|---|---|
| committer | Michael Denkowski <mdenkows@cs.cmu.edu> | 2013-09-15 20:32:59 -0700 |
| commit | 08be69abb923b74f7dc27712d6bef7f6e4a05377 (patch) | |
| tree | 451919fb2311b22ab650ab6badd9dede6016c646 /extractor | |
| parent | 15084a749ee241b261458898640ac43a459acb59 (diff) | |
Move to using named commands
Diffstat (limited to 'extractor')
0 files changed, 0 insertions, 0 deletions