xdissent/ievms — pull request #158 by vassilevsky (2013-06-16 20:53:56+00:00)
Title: Remove OVA ZIP after OVA extraction to save disk space

The ZIP file is not really necessary. The script checks the existence of the OVA file and if it's not there it [re-]downloads the archive. Removing it will save space. Might matter for folks with small SSDs.