/patch-configure/1.1/Thu Mar 24 07:35:03 2005//
/patch-docs_users_guide_Makefile_in/1.2/Thu Mar 24 07:35:03 2005//
/patch-fptools_libraries_HGL_configure/1.1/Sun May  8 08:45:09 2005//
/patch-fptools_libraries_X11_configure/1.1/Sun May  8 08:45:09 2005//
D
