Merge 'normalize-win-paths' into HEAD
commit3b23ed706a4999fcfad38f2b1aa3df3bb861de69
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 28 Dec 2013 00:09:43 +0000 (27 18:09 -0600)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 28 Dec 2013 00:09:43 +0000 (27 18:09 -0600)
tree2a68fe280c268bb5d74116098c0ed5042d9a2317
parent2579131837123a976e5418aa17a11c8f65a9429d
parent84f4760ba8ab999d46900a1d5fd6411e58d868f3
Merge 'normalize-win-paths' into HEAD
git-sh-setup.sh
git-submodule.sh