Merge 'home' into HEAD
commit177f20e284d368cc4c6624d5eb2f1b486fd79936
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:56:57 +0000 (10 16:56 -0500)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:56:57 +0000 (10 16:56 -0500)
tree1cbc757e0c7a25757d9450408c238042d478e5b8
parentbbb31517e2dbe3a181e202040fce4c15b2c1b601
parent4fd016658c496e1755fc7dbd6cd5325a4b66c1cb
Merge 'home' into HEAD
compat/mingw.c
compat/mingw.h