The TODO states: /Pics/ Convert the navbar images to PNG. (http://www.debian.org/devel/website/todo)
So should I just download all of these: http://www.debian.org/Pics/ and start converting the .gif to .png? I know it will take a while, is there any certain way it should be done? I can use GIMP, but I think ImageMagick can do this with a script. I'd love to help and this is something I think I know how to do. -- Matthew K Poer -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
