Merge 'install-wincred' into HEAD
commita02dd25e708cd6c4a19e91a89ddf4aea263f5c14
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:57:02 +0000 (10 16:57 -0500)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:57:02 +0000 (10 16:57 -0500)
tree018fb2bb9ef5f89f88d35b2e30c4cd14ebd89aa9
parent618f8140c9d9d59d7da23832aa6eac4f2ffd0c52
parentbc6bd8eceb184b6a80924c0ff24a83ad6a07d3d6
Merge 'install-wincred' into HEAD