Merge 'hide-dotgit' into HEAD
commit16180e48a2d05af67e5ba15b3ced747dba523e5f
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:56:58 +0000 (10 16:56 -0500)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:56:58 +0000 (10 16:56 -0500)
treea8792d8f08366d8842932463c21a6cabb2f43868
parent547db2e8c84d8bd3105c5bcabb2ea23fac244bfc
parent0a40f598164aaa9de6d127f828329eb3b11b70b0
Merge 'hide-dotgit' into HEAD