typename fix

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

const char * PATCH_LEVEL  = "6";
//const char * LAST_UPDATED = "Jun 18, 1997";
const char * LAST_UPDATED = "Nov 2, 1999";