Merge 'gitweb-syntax' into HEAD
commitd5fe20671af9d174bfa4accf1ffc383850110964
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 10 Apr 2014 18:53:42 +0000 (10 13:53 -0500)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 10 Apr 2014 18:53:42 +0000 (10 13:53 -0500)
tree37c670d3c74cf32ef3a5a5574bdba9844c74f9f4
parent7e977b24e843e301c411ed38531921c4ef927472
parent4a73c89f3670a54d954149cdbc4bbbdbabee6bd0
Merge 'gitweb-syntax' into HEAD