Merge commit 'push-into-head'
commit24da7ab0b8dbdf2ce4b0cc1cfcdf51f72277ce75
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 16 Feb 2009 19:05:18 +0000 (16 20:05 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sun, 7 Feb 2010 21:58:38 +0000 (7 22:58 +0100)
tree05e5fb5ca9c82ddb5ac87dec2afc441f00afbb86
parenta1d6114a12a0c38874722f1bd1be35af91e9d0e1
parent46fe2bf0d58c0817ce91fa65190c03d67bb04a15
Merge commit 'push-into-head'
Documentation/config.txt