diff TOOLS/cpuinfo.c @ 11210:60288914167b

update overlay only if it is configured
author faust3
date Tue, 21 Oct 2003 17:15:34 +0000
parents d1a941c25b4d
children a85bfb689e62
line wrap: on
line diff