Merge 'deny-current-branch' into HEAD
commit0ec714e2b3566a43d6fb9e6c82f94b3ea8025a9e
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Fri, 27 Dec 2013 16:15:37 +0000 (27 10:15 -0600)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Fri, 27 Dec 2013 16:15:37 +0000 (27 10:15 -0600)
treecd236c4c66d2c28d98b5e2de899f26650ba21252
parentd1e2d0083554f8aa3969ce78f25ad701bbbb1514
parent5101676a792914c91cfcffa3ba38c45acf0ba04a
Merge 'deny-current-branch' into HEAD
Documentation/config.txt