not needed
[prop.git] / prop-src / patchlev.cc
blobc8318aa4169f1fb935cc37b3ebc83e3f39061f9e
1 const char * PATCH_LEVEL = "6";
2 //const char * LAST_UPDATED = "Jun 18, 1997";
3 const char * LAST_UPDATED = "Nov 2, 1999";