revert (reset) before changing branch in git repos
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Tue, 27 Jul 2010 12:54:15 +0000 (14:54 +0200)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Tue, 27 Jul 2010 12:54:15 +0000 (14:54 +0200)
commit0c4b1bbee39f777372a77e4c7dec16d2a1009498
tree09dc4495c6d9e912548271886649d264c9c16483
parent7d9ed6517fc0c390bf5f6640356c3fb5175be33e
revert (reset) before changing branch in git repos
module-tools.py