Adjustments for #76 , rename certain options to be more explicit#81
Merged
Adjustments for #76 , rename certain options to be more explicit#81
Commits
Commits on Nov 5, 2018
Commits on Nov 6, 2018
Commits on Nov 7, 2018
- committed
Commits on Nov 17, 2018
Commits on Nov 19, 2018
- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted

