diff TOOLS/cpuinfo.c @ 6102:d0e8200b31e9

bugfixes by ugk8 <ugk8@rz.uni-karlsruhe.de>
author jaf
date Thu, 16 May 2002 12:00:24 +0000
parents b36fb1ae4b53
children d7a83bb5fec9
line wrap: on
line diff