1
0
mirror of https://github.com/zyedidia/micro synced 2024-07-08 19:56:01 +00:00

Update windows binary name to .zip

This commit is contained in:
Zachary Yedidia 2016-06-12 11:35:12 -04:00
parent 98963b19d9
commit ceb5760d6d

View File

@ -108,7 +108,7 @@ github-release upload \
--user zyedidia \
--repo micro \
--tag nightly \
--name "micro-win64.tar.gz" \
--name "micro-win64.zip" \
--file binaries/micro-win64.zip
echo "Uploading Windows 32 binary"
@ -116,5 +116,5 @@ github-release upload \
--user zyedidia \
--repo micro \
--tag nightly \
--name "micro-win32.tar.gz" \
--name "micro-win32.zip" \
--file binaries/micro-win32.zip