/patch-configure/1.3/Sun Jun  9 16:24:57 2002//
/patch-gui_Makefile_in/1.3/Sun Jun  9 16:24:57 2002//
D
