# HG changeset patch # User Chris Cannam # Date 1591623992 -3600 # Node ID 96e5adab61c244c37ea937194a47236ebecefc9b # Parent c9b2dca061a6703e8b79ef96e43cad4a5770fcbb Toward making Windows zip diff -r c9b2dca061a6 -r 96e5adab61c2 deploy/clean-build-and-package.bat --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/deploy/clean-build-and-package.bat Mon Jun 08 14:46:32 2020 +0100 @@ -0,0 +1,62 @@ +@rem Run this from within the top-level dir: deploy\clean-build-and-package +@echo on + +@set /p VERSION=