diff options
author | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2003-10-14 12:14:48 +0000 |
---|---|---|
committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2003-10-14 12:14:48 +0000 |
commit | 182457df34fd92fd06a22529bef2e9df86a6cea8 (patch) | |
tree | cf04d8778c9b52548e1e6f88364e614fa8244521 /TOOLS | |
parent | 7372d6fd51c4302881b467bf67079af40f0fd881 (diff) |
Prefer TOOLS/cpuinfo over /proc/cpuinfo on Cygwin, approved by Sascha.
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@11113 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'TOOLS')
0 files changed, 0 insertions, 0 deletions