/patch-config_f.h/1.2/Wed Jul 24 01:12:31 2002//
/patch-host.defs/1.2/Wed Jul 24 01:12:31 2002//
/patch-sh.exp.c/1.2/Wed Jul 24 01:12:32 2002//
/patch-sh.h/1.2/Wed Jul 24 01:12:32 2002//
D
