diff options
author | bothameister <bothameister@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-02 02:47:27 +0000 |
---|---|---|
committer | bothameister <bothameister@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-02 02:47:27 +0000 |
commit | ee48eb96e8228d922a8db2259a4f3666e45b0bd7 (patch) | |
tree | 32540153f4210c93c9fe162f2c5c65048184aa34 /gi/posterior-regularisation/prjava/src/test | |
parent | 72c705df4fefe32792ed7c75f39b06da5061870e (diff) |
changed timer mechanism to play nice with multiple threads
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@99 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'gi/posterior-regularisation/prjava/src/test')
0 files changed, 0 insertions, 0 deletions