zip.extract

zip.extract - This document was generated, contribute by properly documenting this API.

zip.extract(sourceZip, destinationDir)

Parameters

• sourceZip is the zip file which has to be extracted
• destinationDir is the destination directory for the extracted files

Availability

Premake 5.0.0 alpha 12 or later.