xla
Make parallel build the default.
#320
Merged
Overview
Commits
1
Changes
View On GitHub

Make parallel build the default. #320

dlibenzi merged 1 commit into master from para_default
dlibenzi
dlibenzi Make parallel build the default.
daf74aea
dlibenzi dlibenzi requested a review from asuhan asuhan 7 years ago
asuhan
asuhan approved these changes on 2019-02-21
dlibenzi dlibenzi merged 32ea2d79 into master 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum