Add remaining build options and make minor changes in documentation#39

Merged

pranavsharma merged 4 commits intomasterfrom

pranav_bug_bash

Nov 28, 2018

Commits on Nov 28, 2018

Minor changes in documentation
Pranav Sharma
committed
Synchronous, not sync
Pranav Sharma
committed
Add remaining build options after mkldnn fix
Pranav Sharma
committed
Merge remote-tracking branch 'origin/master' into pranav_bug_bash
Pranav Sharma
committed