8 Sep
2005
8 Sep
'05
12:58 a.m.
On Wed, Sep 07, 2005 at 02:10:01PM -0500, Brian Smith wrote:
On 9/7/05, Ross Paterson
wrote: from Neil Mitchell: remove unused resources.
(The files are retained in case someone finds a use for them.)
I think it would be better to just get rid of them, especially if we are going to write and maintain a gmake Makefile by hand. It is confusing for somebody new to a project to understand why there are a bunch of files that appear to never be used.
The unused source files are gone; these are icons.