/patch-config_f.h/1.2/Wed Jul 24 01:12:31 2002//
/patch-host.defs/1.3/Thu Jan  2 23:30:21 2003//
/patch-sh.exp.c/1.3/Wed Jan 15 20:46:56 2003//
/patch-sh.h/1.2/Wed Jul 24 01:12:32 2002//
D
