ignore errors on git commit (not git push)
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Tue, 15 Jun 2010 14:08:29 +0000 (16:08 +0200)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Tue, 15 Jun 2010 14:08:29 +0000 (16:08 +0200)
commitc6fc5dc1e9f33a601759395eb493c47be9bf5a74
treef7bda1d751d3d9bc15caa47d11ab9bd459c3063f
parent33f941a1d743ef7844e729023b9c33acd8a14d55
ignore errors on git commit (not git push)
module-tools.py