use to_branch for update to map a local branch to the remote one. this will fix the...
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Tue, 27 Jul 2010 13:45:46 +0000 (15:45 +0200)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Tue, 27 Jul 2010 13:45:46 +0000 (15:45 +0200)
commitf71d49ce0bb4ed29f0039aa917cfdf46dd7c8128
tree5b1883dc4670570e94b075f6864267db8c8047de
parent0c4b1bbee39f777372a77e4c7dec16d2a1009498
use to_branch for update to map a local branch to the remote one. this will fix the issue with branches.
module-tools.py