diff options
| author | Alec Faithfull | 2015-10-06 14:20:22 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-10-09 11:01:49 +0200 |
| commit | f6b3704391de97ee544da9ae7316685cd2d9fae3 (patch) | |
| tree | 68c2b7507386e0cea221893b7bd28d45c91d8b65 /kernel/nativecode.ml | |
| parent | 56ca108e63191e90c3d4169c37a4c97017e3c6ae (diff) | |
TQueue: Allow some tasks to be saved when clearing a TQueue
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions