Revision 314f1ad3c1c71f18668cfe3de32d28968d969828 authored by Roberto Di Cosmo on 23 February 2017, 21:02:33 UTC, committed by GitHub on 23 February 2017, 21:02:33 UTC
added get_ncores, thanks to @UnixJunkie
Computing file changes ...
added get_ncores, thanks to @UnixJunkie
Computing file changes ...