diff Gui/timer.h @ 4312:971836f677a9

Added a turn around for badly configured web servers.
author bertrand
date Wed, 23 Jan 2002 08:50:30 +0000
parents f91ad6d23ce9
children
line wrap: on
line diff