diff options
| author | redpony <redpony@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-08-04 21:51:28 +0000 |
|---|---|---|
| committer | redpony <redpony@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-08-04 21:51:28 +0000 |
| commit | b71d77972e17dbc70896fa7c9e7b96b466f8933a (patch) | |
| tree | 5653015bcc3c82d488b7ef12955b1ce4cd91d826 /report/prune_results/do.sh | |
| parent | 5c7eef3d08ecc2c30bcf0f9a5f17716c21f5bfc3 (diff) | |
get rid of unused code, remove static linkage
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@480 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'report/prune_results/do.sh')
0 files changed, 0 insertions, 0 deletions