diff options
| author | mjdenkowski <michael.j.denkowski@gmail.com> | 2014-03-19 17:03:12 -0400 |
|---|---|---|
| committer | mjdenkowski <michael.j.denkowski@gmail.com> | 2014-03-19 17:03:12 -0400 |
| commit | 0bcf79ae9cc8e1d549ff36dc4f9ece7383687d27 (patch) | |
| tree | 82eb45df959f37704cbcf352ede44046d0b2d910 /extractor/matchings_trie.cc | |
| parent | 2a9ee1febae6a63173f74ae24e2bfe439e409525 (diff) | |
Fix number of jobs in mira script
Diffstat (limited to 'extractor/matchings_trie.cc')
0 files changed, 0 insertions, 0 deletions