diff options
| author | Blaž Hrastnik | 2021-02-24 04:13:49 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-02-24 04:17:10 +0000 |
| commit | c6456d04b9f16ed8f5ad0f256a38218b514de5dc (patch) | |
| tree | 63a43d8a0b01cdedb0f51e2be0e9b4816cae092e /.gitignore | |
| parent | 41c0d5828fe301edf3bbc1dbd8fad7adf507e03e (diff) | |
syntax: Drop the rayon dependency for threadpool.
We just need a small concurrent threadpool for compilation.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions