tree ad68c6f1e4cb4e8b05ff8201c51a54d65ac7b013
parent b805b7c6e02d0a1d1709f14295c0b05b988a5668
author Sven <sven@sven-johannsen.de> 1468440032 +0200
committer Dominic Hamon <dominichamon@users.noreply.github.com> 1468440032 -0700

set cpuinfo_num_cpus on Windows (#254)