username on the git server may not be the same with the local one.
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Tue, 15 Jun 2010 19:16:00 +0000 (21:16 +0200)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Tue, 15 Jun 2010 19:16:00 +0000 (21:16 +0200)
commit76834300506862d6c67021dfb8f021ae0ffbc45e
tree82cd71da98cf99821d3701b364bd101005eb5081
parent3d68f2e4e09e56b935f6fa106f791fe24e889963
username on the git server may not be the same with the local one.
module-tools.py