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 | cccdb6e22ee5bf70f7c245e90a226dd9d70c4a2a (patch) | |
| tree | ed6638021019a4cc4d949a0a7cc6547b96b58d1b /extractor/rule_extractor_helper.h | |
| parent | 3a5aeb67de3d7156e77ee94625ed3714117d3b43 (diff) | |
Fix number of jobs in mira script
Diffstat (limited to 'extractor/rule_extractor_helper.h')
0 files changed, 0 insertions, 0 deletions