diff src/atimer.h @ 91854:8b3a26bb8081

Don't set `args', it breaks gdb --args.
author Dan Nicolaescu <dann@ics.uci.edu>
date Fri, 15 Feb 2008 22:42:02 +0000
parents fc2bcd2a8aad
children 606f2d163a64 29adfc9354e7
line wrap: on
line diff