/patch-Config.h/1.3/Wed Oct  2 02:03:15 2002//
/patch-Manager.C/1.3/Wed Oct  2 02:03:15 2002//
/patch-Menu_C/1.1/Mon Sep 30 14:31:50 2002//
D
