keep track of remote branches locally to be able to push w/o errors
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Tue, 27 Jul 2010 09:55:13 +0000 (11:55 +0200)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Tue, 27 Jul 2010 09:55:13 +0000 (11:55 +0200)
commit7d9ed6517fc0c390bf5f6640356c3fb5175be33e
tree64a48eb6dccccc03cfd6e06d8ba13ff0db4f02cb
parentfc3895027d5e5d0ee222f46ebc3138f40bb12546
keep track of remote branches locally to be able to push w/o errors
module-tools.py