mirror of
https://github.com/urbit/shrub.git
synced 2024-12-14 20:02:51 +03:00
Merge pull request #332 from dcow/parallel
Enable parallel builds (292)
This commit is contained in:
commit
3e5ee5bca9
Enable parallel builds (292)