Merge 'fix-is-exe' into HEAD
commit5544bd1339c15e774cb1f71e89265906e0f87be7
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 10 Apr 2014 18:53:44 +0000 (10 13:53 -0500)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 10 Apr 2014 18:53:44 +0000 (10 13:53 -0500)
treecf58e829b32261f3e08b4057fac5152da6fa524a
parent108c844f577a5f8339570153694057f3df1afb91
parentf3f9ee9ea01e35014954d28cb885d117f01bd47b
Merge 'fix-is-exe' into HEAD