Merge 'gitweb-syntax' into HEAD
commit9021aa4cd6b6d39edb1e5842d7c57f616ece7da8
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 17 Feb 2014 18:42:37 +0000 (17 12:42 -0600)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 17 Feb 2014 18:42:37 +0000 (17 12:42 -0600)
tree6f7cc6c33a58fa88b241a38ec0bfb0b68f27693e
parent950eea2370f725f039e324acdada690acb251a4a
parent78a3d44a23a041a01079f5f185b4b5503201dd8c
Merge 'gitweb-syntax' into HEAD