/*
	Copyright 1999-2001, Be Incorporated.   All Rights Reserved.
	This file may be used under the terms of the Be Sample Code License.
*/
const char *build_time = __TIME__;
const char *build_date = __DATE__;
