Merge branch 'rs/cocci' into maint
authorJunio C Hamano <gitster@pobox.com>
Fri, 28 Oct 2016 16:01:23 +0000 (09:01 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 28 Oct 2016 16:01:23 +0000 (09:01 -0700)
commitc8fd220...756f9cd10a796311a1b25d7a2ab2a3b9
tree6654ec0...b1a53959fe62fa526445efe71deb0dfbcopy hash to clipboard (tree)
parent0582a34...525a95a1c592f111fbf64dd45a4d8e70copy hash to clipboard (diff)
parenta94bb68...970a111b467a36590ca36e52754ad504copy hash to clipboard (diff)
Makefile
diff.c
pretty.c
submodule.c