diff: handle the dashed-line footer in patches created by git format-patch
commit16b5b278cab77d18b5b2c998b3191313a22b0142
authorDavid Aguilar <davvid@gmail.com>
Sat, 3 Nov 2018 23:41:08 +0000 (3 16:41 -0700)
committerDavid Aguilar <davvid@gmail.com>
Sat, 3 Nov 2018 23:41:08 +0000 (3 16:41 -0700)
treec0d5cd8652636e8a7a9ec9266e1c60bead5e9132
parentd6063f1f5e7d1a1e5a882f5cb7d460ff9242b430
diff: handle the dashed-line footer in patches created by git format-patch

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