diff options
| author | Enrico Tassi | 2014-06-30 23:25:19 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-07-10 15:22:58 +0200 |
| commit | 3abbc93733b7f820a436beedcd0b9292378e1840 (patch) | |
| tree | f310b829a8a2ce2335663d4976bcd029c9c5b102 /kernel | |
| parent | 4f554c88aa7ecc8ebeb8af1a11bf3a12d255c25b (diff) | |
option to always delegate futures to workers
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions