Merge 'pull-rebase-interactive' into HEAD
commitb4ea65e17baab4de0a63652f02ec46e19ffcbd8a
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 30 Dec 2013 01:18:12 +0000 (29 19:18 -0600)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 30 Dec 2013 01:18:12 +0000 (29 19:18 -0600)
tree32dd6fe3faa05da4fb7a17390acd81ee6b8335cc
parent4856a65a036fb974996a24292ece3438aeb541de
parentc7a057458b60d358caceda81dc4ce448789e545c
Merge 'pull-rebase-interactive' into HEAD
Documentation/config.txt