aboutsummaryrefslogtreecommitdiffhomepage
path: root/dub.selections.json
diff options
context:
space:
mode:
authorRalph Amissah <ralph@amissah.com>2018-08-04 23:53:50 -0400
committerRalph Amissah <ralph@amissah.com>2019-04-10 15:14:15 -0400
commite3069103f1db73076b0ce8b645729a9744648dd7 (patch)
tree8fde121b508462d5fea148c3cfa1d0bfc25b35f6 /dub.selections.json
parentcatches (diff)
nested parallelisation, output task scheduler
- default off, --pp2 to use
Diffstat (limited to 'dub.selections.json')
0 files changed, 0 insertions, 0 deletions