update patch level

[prop.git] / prop-src / patchlev.cc

const char * PATCH_LEVEL  = "7";
//const char * LAST_UPDATED = "Jun 18, 1997";
const char * LAST_UPDATED = "Oct 21, 2008";