Merge branch 'jk/chopped-ident'
authorJunio C Hamano <gitster@pobox.com>
Mon, 22 Apr 2013 18:11:36 +0000 (11:11 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 22 Apr 2013 18:11:36 +0000 (11:11 -0700)
commit7033193...3fc2878c0c28ccc14a488024e8687fc2
tree98ead87...5fa14f86b491b72896aa3f19871f692fcopy hash to clipboard (tree)
parent1fc0bfd...5ac50c7c2e2a4ae263cf8ee90c106ce6copy hash to clipboard (diff)
parentde5abe9...e91a496d019d62abefe23df9d72fad30copy hash to clipboard (diff)
pretty.c