diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-11-24 21:37:27 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-11-24 23:52:09 +0100 |
| commit | 171cdb94c7906670723b0965ca66d72a2352ac73 (patch) | |
| tree | 92481f40c2ea3de70055e5b967629b5c93c4b298 /docs | |
| parent | 1fbc150fd6392d8268aa35d15380c02e363c4eb8 (diff) | |
executor: add support for main/task macros in stable (allocates tasks in an arena)
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions