diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-02-21 18:17:03 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-02-26 14:53:08 +0100 |
| commit | 83ee68ba8beda04343514d9e5905ea062cbeada0 (patch) | |
| tree | 3a9d1fab786e5d3483b433f1f8c03649439f1b70 /lib/ephemeron.mli | |
| parent | 7726a81d850020b6402f445912f3a3d9310da69d (diff) | |
Future: make ~greedy:true the default + new sink commodity API
Diffstat (limited to 'lib/ephemeron.mli')
0 files changed, 0 insertions, 0 deletions