/* $Id: patchlev.h,v 1.33 2007/12/16 17:41:06 tom Exp $ */
#define PATCHLEVEL 7
#define PATCH_DATE 20071216
syntax highlighted by Code2HTML, v. 0.9.1