/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//
/patch-sh_func_c/1.1/Wed Nov  5 06:55:44 2003//
D
