diff linux/timer.c @ 5387:44661cb881d0

Allow cache to be disabled at commandline.
author atmos4
date Fri, 29 Mar 2002 02:52:45 +0000
parents df50da00260a
children
line wrap: on
line diff