/*
* Timers and signals wrapper
*
- * $Id: timers.c,v 1.9 1995/07/02 17:53:18 carnil Exp $
+ * $Id: timers.c,v 1.1.1.1 2006/04/12 06:26:44 michaelc Exp $
*
*/
/* Data */
#define TIMER_MAX 65535
-static const char *rcsid="$Id: timers.c,v 1.9 1995/07/02 17:53:18 carnil Exp $";
+static const char *rcsid="$Id: timers.c,v 1.1.1.1 2006/04/12 06:26:44 michaelc Exp $";
const Unit_t timer_unit = {
"timer",