diff playtree.c @ 11112:1d2c30ef6c11

Prefer TOOLS/cpuinfo over /proc/cpuinfo on Cygwin, approved by Sascha.
author diego
date Tue, 14 Oct 2003 12:14:48 +0000
parents 59982e3c403b
children 9a495bdc3a1e
line wrap: on
line diff