diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-06-25 21:17:56 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-06-25 21:17:56 +0000 |
| commit | d8c70c5c3e89a0a83ae58881fe0bed5071939b2e (patch) | |
| tree | 2f39d018c2bb6e3acff1c9711f65aa2c68578048 /docs/modules/ROOT | |
| parent | 03e0116a56d7bc4b8eb639fd590eaa186d039b2b (diff) | |
| parent | 12872ce49b3945c1a28ae362f78bcfb334a9eeb8 (diff) | |
Merge pull request #1583 from bugadani/const
Allow path expressions as `task(pool_size)`
Diffstat (limited to 'docs/modules/ROOT')
0 files changed, 0 insertions, 0 deletions