/*
 *  Do not modify this file; it is automatically 
 *  generated and any modifications will be overwritten.
 *
 * @(#) xdc-H25
 */

#ifndef xconfig_bigtime__
#define xconfig_bigtime__



#endif /* xconfig_bigtime__ */ 
