gitcmds: Remove unused corresponding_remote_ref()
commit14ce205c7f564288127266c7444f3110d6e4bfce
authorDavid Aguilar <davvid@gmail.com>
Sat, 21 Nov 2009 00:47:53 +0000 (20 16:47 -0800)
committerDavid Aguilar <davvid@gmail.com>
Sat, 21 Nov 2009 00:49:02 +0000 (20 16:49 -0800)
tree272d47c4428e7bacf28f5f790fd3806e3b3a2229
parent47303810edcf06c055669d08ef7696b09a9c2cd4
gitcmds: Remove unused corresponding_remote_ref()

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