| commit | 6fd3ef83b5887884e7e0fd5803be45309e5f871b | [log] [tgz] |
|---|---|---|
| author | Tony Mack <tmack@paris.CS.Princeton.EDU> | Tue Oct 08 22:17:54 2013 -0400 |
| committer | Tony Mack <tmack@paris.CS.Princeton.EDU> | Tue Oct 08 22:18:05 2013 -0400 |
| tree | ecd7fbafeb0822f197bbd90de7b11e72b4de85d6 | |
| parent | c265b89216dde0752ece4088c07d0324e676e167 [diff] |
add missing code to sync_slivers