/* $Id: patchlev.h,v 1.10 1998/07/19 18:35:34 tom Exp $ */
#define PATCHLEVEL 7
#define PATCH_DATE 980719