diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-11-28 15:59:51 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-11-28 15:59:51 +0100 |
| commit | 9f4546a103607e0f2283897c094ce05ffa2d5c21 (patch) | |
| tree | e3d97e8220114837302f902d79ce66dddb810127 /stm/vcs.ml | |
| parent | a9fd21ac2b2e3908d8eb8d5a549c43949cddc69a (diff) | |
Future: API for blocking futures
Diffstat (limited to 'stm/vcs.ml')
0 files changed, 0 insertions, 0 deletions