diff options
| author | Paul Baltescu <pauldb89@gmail.com> | 2013-04-23 22:34:02 +0100 |
|---|---|---|
| committer | Paul Baltescu <pauldb89@gmail.com> | 2013-04-23 22:34:02 +0100 |
| commit | 65a91daa39cd16971d52bd01330a2b2b470a549e (patch) | |
| tree | 1afac56ac2e1876937bee948755f427b156da550 /.gitignore | |
| parent | 581ecdbad3c691e4e749098bd8568d9cdc48323c (diff) | |
Print num threads used for grammar extraction.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions