diff Gui/mplayer/common.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 bc24dd70c6e2
children 897bda2dfe29
line wrap: on
line diff