Merge 'install-wincred' into HEAD
commit5f6e8a9316a515c8f290025a31ffae7b878c71b4
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)
treebef5015b6b4d0a654a7314f472b45c104bed252e
parent5544bd1339c15e774cb1f71e89265906e0f87be7
parentae8281d88894c43f8c078987412a09f6e86fce40
Merge 'install-wincred' into HEAD