Merge branch 'jc/doc-lint'
authorJunio C Hamano <gitster@pobox.com>
Mon, 23 May 2016 21:54:34 +0000 (14:54 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 23 May 2016 21:54:34 +0000 (14:54 -0700)
commitfa4f29b...a8febd454fb589f96afa014d73f157c1
tree6ed7628...90efa59242e5e10b7bd8174333132f5dcopy hash to clipboard (tree)
parent7b02771...4f98cff47504cc6210e7fe9c8138f307copy hash to clipboard (diff)
parentab81411...ede9e5fe52b416c4df835e19f1048426copy hash to clipboard (diff)
Makefile