On Wednesday, January 14, 2004, at 09:52 PM, Kazunobu Kuriyama wrote:


The patch rectifies the behavior of 'make distclean.', failing to delete
config.make
even after the command is issued.




Applied. Thanks.




_______________________________________________
Bug-gnustep mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-gnustep

Reply via email to