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 /corpus | |
parent | 3a5aeb67de3d7156e77ee94625ed3714117d3b43 (diff) |
Fix number of jobs in mira script
Diffstat (limited to 'corpus')
0 files changed, 0 insertions, 0 deletions