tree 6cf60effc9eaed4d6f951a4035d8af438cab0a2f
parent 767eac75c311e6c29046e88d48a4677e5fcadbc6
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1349720478 -0700
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1349720478 -0700

alex's hack in sync library