Login
Z3 tests
Help: test-filezip
☰
Home
Timeline
Branches
Tags
Login
Command-List
The "test-filezip" command:
Generate a ZIP archive specified by the first argument that contains files given in the second and subsequent arguments.