Merge 'pull-rebase-interactive' into HEAD
commit5322eac747ec57fa936f0b5a6252bb8aedfb5456
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:57:00 +0000 (10 16:57 -0500)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:57:00 +0000 (10 16:57 -0500)
tree14c3782c6169f7cdc64a684eaaf14c395efb32a8
parentab62c6923243ee8e8a25cbb3b003f44b25fadb03
parent11cce70912ba241b9978eca0ed919e4179e91491
Merge 'pull-rebase-interactive' into HEAD
Documentation/config.txt