/patch-config_f.h/1.2/Wed Jul 24 01:12:31 2002//
/patch-host.defs/1.4/Fri Jun  4 17:38:34 2004//
/patch-sh.exp.c/1.4/Fri Jun  4 17:38:34 2004//
D
