diff TOOLS/cpuinfo.c @ 1265:f1f35276f635

switching double buffering at runtime with -double
author arpi
date Tue, 03 Jul 2001 23:22:29 +0000
parents b36fb1ae4b53
children d7a83bb5fec9
line wrap: on
line diff