diff options
| author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-20 19:43:31 +0000 |
|---|---|---|
| committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-20 19:43:31 +0000 |
| commit | f355bdd04a335fffa089dd3d8095461ec0667f78 (patch) | |
| tree | 074ca8fb52a48a19051d6c7e7036589f1ba4ac69 /gi/pipeline/valhalla.config | |
| parent | d8760868911aeac33a9191128872a2ba8eb2352a (diff) | |
optional google dense_hash_map, srim vocab (TDICT) as static - may help valgrind warning?
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@339 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'gi/pipeline/valhalla.config')
0 files changed, 0 insertions, 0 deletions