|Subject:||Re: [PATCH] gui/GNUmakefile.postamble|
|Date:||Mon, 19 Jan 2004 20:48:57 -0700|
On Wednesday, January 14, 2004, at 09:52 PM, Kazunobu Kuriyama wrote:
The patch rectifies the behavior of 'make distclean.', failing to deleteconfig.make even after the command is issued.
|[Prev in Thread]||Current Thread||[Next in Thread]|