Merge 'fix-is-exe' into HEAD
commit6208a43047111a55b5bdefa9ca536a642db4dd36
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 30 Dec 2013 01:18:13 +0000 (29 19:18 -0600)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 30 Dec 2013 01:18:13 +0000 (29 19:18 -0600)
tree5b24f5e7432c9c4110ce47b1cb4ef3d5a5e20924
parent41b93bb5c0a97015684ff82e4b219d6048c86158
parent14238f575dfc609f2c4d0d522dd2a75e043bcd2c
Merge 'fix-is-exe' into HEAD