I know, this isn't exactly on topic (well, maybe it is, since
GIF is alreads more than 10 years around), but I think that some
folks around are deep into bit munging :)
Is there any tool known to optimize GIF files in size ?
It hapened that I just changed some GIFs and without
changeing the content the files did grow. After some
research I found that the editor I used adds some headers
(or whatever) structures, increasing the file size.
Not a big increase, but if a 900 Byte picture grows
to 1100 I'd like to remove the overhead.
Gruss
H.
--
VCF Europa am 29./30. April 2000 in Muenchen
http://www.vintage.de/VCFe
http://www.homecomputer.de/VCFe