Re: xpm vs. png

[Miguel de Icaza <miguel nuclecu unam mx>]

> I know xpm must be used when including in source, but it would be
> nice to save some space when xpm is not really needed. Do we
> have (or need) an 'official' policy towards this?

We should be switching to a better format.  I am all for changing the
files to png.  Can you do this?

Miguel.