diff options
| author | Eduardo Julian | 2018-05-08 22:30:03 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-05-08 22:30:03 -0400 |
| commit | 8c90251c12a4d0d4cc191bfb273bb5eb51bb0356 (patch) | |
| tree | 5964bba6bedd134c244bc322df4cced3419ca957 /lux-mode | |
| parent | ca9541c0c10d4e6aa94055ecfb47301ed7292828 (diff) | |
- Re-named "lux process concurrency-level" to "lux process parallelism-level".
- Merged the functionality of "lux process future" into "lux process schedule".
Diffstat (limited to 'lux-mode')
0 files changed, 0 insertions, 0 deletions