Closed FMota0 closed 5 years ago
Currently only vanilla and optimized are available to be run through options in bash
Solved in #56 .
Currently only vanilla and optimized are available to be run through options in bash