Skip to content
This repository has been archived by the owner on Jan 24, 2024. It is now read-only.

add num_workers for make #23

Merged
merged 1 commit into from
Apr 23, 2018
Merged

add num_workers for make #23

merged 1 commit into from
Apr 23, 2018

Conversation

Superjomn
Copy link
Collaborator

No description provided.

@Superjomn Superjomn merged commit b337290 into develop Apr 23, 2018
@Superjomn Superjomn deleted the fea/add-numworkers branch April 23, 2018 12:29
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant