Skip to main content

Browse the archive

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 
Merge pull request #54 from UnixJunkie/get_ncores
 
added get_ncores, thanks to @UnixJunkie
2 parent s 743ec49 + ac94452
Raw File
.depend 
bytearray.cmo: bytearray.cmi
bytearray.cmx: bytearray.cmi
parmap.cmo: bytearray.cmi parmap.cmi
parmap.cmx: bytearray.cmx parmap.cmi
bytearray.cmi:
parmap.cmi:
back to top