/*
 * (c) 2001 Mario de Sousa
 *
 * Offered to the public under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version 2 of the
 * License, or (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
 * Public License for more details.
 *
 * This code is made available on the understanding that it will not be
 * used in safety-critical situations without a full and competent review.
 */


/*
 * Timer utility routines
 *
 * This file implements the routines in timer_util.h
 *
 *
 *
 * These routines are suposed to provide a POSIX compatible interface to
 * timers, in case we are compiling under a system that does not provide them.
 * At the moment, we are only compiling under systems that do support them, so
 * this file is empty.
 *
 */



#include "timer_util.h"


/**************************************************************************/
/*

 T H I S    F I L E    I N T E N T I O N A L Y    L E F T    B L A N K  !!

*/
/**************************************************************************/