diff options
| author | Enrico Tassi | 2014-09-08 14:00:28 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-09-09 13:11:38 +0200 |
| commit | e62aa755e79fbdf69e1073c272ae417fbe9e2a4f (patch) | |
| tree | 613e54abc3ec647a673fe8f73596ee8779bd2094 /stm/asyncTaskQueue.ml | |
| parent | 44b3d1e0a5b51601a4b4e70e5c707dd4821e40da (diff) | |
Documenting the new Undo semantics
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions