Re: compress

[Juergen Spitzmueller]

Jean-Marc Lasgouttes wrote:
> We had problems to find a good name, and I think the current one is
> not very good indeed. I am not sure actually that "Compress Document"
> is better. What about "Compress on disk"?

"Compress file"?

Jürgen