Hi all,
I remember someone mentioning the size of ZIP files created with file/
zip a while back. I can't remember the context, though, and I can't
find the post in my archives.
Anyway, I just created a lot of ZIP files with file/zip, and unzipping
and rezipping them on the command line saved a lot of space.
Does anyone remember the resolution of the original ZIP-related post?
Cheers,
-- Dave
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
