Merge 'fix-is-exe' into HEAD
commitbc6f2b6f943b7d97b0461f3960ebab778c670967
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 17 Feb 2014 18:42:39 +0000 (17 12:42 -0600)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 17 Feb 2014 18:42:39 +0000 (17 12:42 -0600)
treec9f7ae540e5756c8b7b95afd14be12fddf4fc0f3
parent6f492595617cb3e1e60d8335911bf6247a9d44ae
parent235d7d2a6f55b8955b8b6f7683effa202064c019
Merge 'fix-is-exe' into HEAD