handle commit ids while pushing to remote
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Wed, 13 Oct 2010 16:03:53 +0000 (18:03 +0200)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Wed, 13 Oct 2010 16:03:53 +0000 (18:03 +0200)
commita92e23895fd5988372c5b29efadc4afe62b3af67
tree16335040e787f49852635e8e5288db6f731ba9e6
parent131b09940b5ec0e1dc8ca7a8b4d0f274810b660b
handle commit ids while pushing to remote
module-tools.py