Changeset 45907

Timestamp:

May 29, 2008, 2:47:08 PM (14 years ago)

Author:

René Rivera

Message:

Switch to use 7zip (for ZIP compression) to speed up the archive generation and to squeeze it a bit more.

(No files)