cvs commit: hugs98/src/winhugs winhugs.rc

[Ross Paterson]

On Wed, Sep 07, 2005 at 02:10:01PM -0500, Brian Smith wrote:
> On 9/7/05, Ross Paterson <ross at galois.com> 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.