add a script to diff rendered documentation
authorJeff King <peff@peff.net>
Mon, 6 Aug 2018 17:37:20 +0000 (13:37 -0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 6 Aug 2018 19:30:23 +0000 (12:30 -0700)
commitbeb188e...2ad0ca4287984c316c7e0b0f9aa895e6
tree3e96735...1b2e7dd27cd1392345ab6bc7ab261163copy hash to clipboard (tree)
parent1d89318...48d233d52f1db230cf622935ac3c69facopy hash to clipboard (diff)
Documentation/.gitignore
Documentation/doc-diff [new file with mode: 0755]