diff options
author | Marcin Junczys-Dowmunt <junczys@amu.edu.pl> | 2013-01-23 00:11:02 +0400 |
---|---|---|
committer | Marcin Junczys-Dowmunt <junczys@amu.edu.pl> | 2013-01-23 00:11:02 +0400 |
commit | fcf75fae18c618877a6c0e7d8ebcfcaf833f5e27 (patch) | |
tree | 81df4b210b6d2b1ae0672e16ffeae3bfe8702356 /util | |
parent | cfe7d00ea279717e730881b98795d510a9c30d26 (diff) |
Added option to specify directory or prefix for temporary files created during phrase table compacting
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions