gitcmds: Add 'diff_info()' to provide text with a custom header and diff
commitc06f7dc755c5fda2e959d0b728f0ea25109ddd2d
authorDavid Aguilar <davvid@gmail.com>
Sun, 24 Oct 2010 01:54:30 +0000 (23 18:54 -0700)
committerDavid Aguilar <davvid@gmail.com>
Sun, 24 Oct 2010 01:56:17 +0000 (23 18:56 -0700)
tree19ac993fdab30683f19c28b3935f64d0a09e857d
parent6b6c0c310c5e2e7476bdaadff9cb47410848415b
gitcmds: Add 'diff_info()' to provide text with a custom header and diff

Signed-off-by: David Aguilar <davvid@gmail.com>
cola/gitcmds.py