Merge 'fix-is-exe' into HEAD
commit618f8140c9d9d59d7da23832aa6eac4f2ffd0c52
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:57:01 +0000 (10 16:57 -0500)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:57:01 +0000 (10 16:57 -0500)
tree078355736fe3c91cbfb397ea48d5db22b1ddd6dc
parent4af426c1e5df488705f3897b5e5b38b98184b95b
parent66927169c0a0cca72ccd9e4d7b5be42b50697307
Merge 'fix-is-exe' into HEAD