kili 01e3cdbac1 Forgot to remove those two patches.		2008-10-29 23:51:24 +00:00
..
patch-configure	Update to hugs98-2006.09.	2008-10-29 22:55:40 +00:00
patch-docs_users_guide_Makefile_in	Update to hugs98-2006.09.	2008-10-29 22:55:40 +00:00