diff Gui/timer.h @ 3046:cf927aec7c6a

Don't need to stream_enable_cache it will be done later.
author bertrand
date Wed, 21 Nov 2001 02:49:01 +0000
parents f91ad6d23ce9
children
line wrap: on
line diff