soulard@corto.inria.fr (Herve Soulard) (02/04/91)
I would like to get some icons and save them in a different file format (GIF,....). Does somebody know if such a program exist, or where I can find enough information (such as format of icons) to write it ? Herve Soulard.