Merge 'install-wincred' into HEAD
commita704b306054ce07231f8c29608382b05f95831fc
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)
tree923511bfec1d42d4f0e8287d1deb311e6e8122ae
parentbc6f2b6f943b7d97b0461f3960ebab778c670967
parent2f2d3040b3c7e70fde56b9c7e0f518d4efa6f64d
Merge 'install-wincred' into HEAD