summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorgraehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-07-20 19:43:31 +0000
committergraehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-07-20 19:43:31 +0000
commitf355bdd04a335fffa089dd3d8095461ec0667f78 (patch)
tree074ca8fb52a48a19051d6c7e7036589f1ba4ac69 /.gitignore
parentd8760868911aeac33a9191128872a2ba8eb2352a (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions