portable-release.sh: use .7z extension by default
commit8d2c721f8eb08db57aa84f385c78e6af1cdec9bb
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Wed, 15 Apr 2009 09:42:35 +0000 (15 11:42 +0200)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Wed, 15 Apr 2009 09:42:35 +0000 (15 11:42 +0200)
tree12a794a42af599800c735464bba379661cda6131
parent292ed9b3ff4fbad6b829340a427f9f5824d1a61e
portable-release.sh: use .7z extension by default

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
share/WinGit/portable-release.sh