diff TOOLS/cpuinfo.c @ 4914:de4074ab4e5f

good-looking fix by Tobias Diedrich <td@informatik.uni-hannover.de>
author arpi
date Sat, 02 Mar 2002 18:54:58 +0000
parents b36fb1ae4b53
children d7a83bb5fec9
line wrap: on
line diff