/patch-Makefile_in/1.6/Mon Aug 27 17:49:59 2007//
/patch-prelude-manager_conf_in/1.6/Mon Aug 27 17:49:59 2007//
D
