Merge 'hide-dotgit' into HEAD
commit27d65abe52770cdc897df19386be817300352ca0
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 30 Dec 2013 01:18:10 +0000 (29 19:18 -0600)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 30 Dec 2013 01:18:10 +0000 (29 19:18 -0600)
tree36b5bbc3e4d81fcec7b0e9926c1643e8dce9f86a
parenta686d4ad4ebcb19a5e5942803050f5744d50d043
parent3b4ce4d8adf4c66dc32f7f960168518982d12ccb
Merge 'hide-dotgit' into HEAD