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