/patch-Config.h/1.2/Mon Oct  1 15:46:16 2001//
/patch-Manager.C/1.2/Wed Aug 22 09:34:17 2001//
D
