Merge 'hide-dotgit' into HEAD
commit3cea76a597bfb4ed3d8a59d9947b464f21ba6524
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Fri, 27 Dec 2013 16:15:35 +0000 (27 10:15 -0600)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Fri, 27 Dec 2013 16:15:35 +0000 (27 10:15 -0600)
treee762d37293c20258d8b206cba2b9d73219959912
parentb1e61f22aa4958ec08bb00a720bb61c11a527487
parent37471904e9380fae12b635ad2dc99074d83f865d
Merge 'hide-dotgit' into HEAD