/* Special definitions for autoheader 
	Copyright (C) 1995 Silicon Graphics, Inc.
$Header$
*/

/* Define to the name of the distribution.  */
#undef PRODUCT

/* Define to the version of the distribution.  */
#undef VERSION

/* Should we use timezone in gettimeofday? */
#undef USE_TIMEZONE

/* end */