#ifndef lint
static char ID_patchlevel[] = "@(#)patchlevel.h	1.2   DeltaDate 12/9/90    ExtrDate 12/9/90";
#endif

#define VERSION	"1.2"