kili 01e3cdbac1 Forgot to remove those two patches.		2008-10-29 23:51:24 +00:00
..
patch-configure
patch-docs_users_guide_Makefile_in