commands to run after git pull is added
authorYasin <mohammed-yasin.rahman@lip6.fr>
Tue, 12 Nov 2013 11:07:28 +0000 (12:07 +0100)
committerYasin <mohammed-yasin.rahman@lip6.fr>
Tue, 12 Nov 2013 11:07:28 +0000 (12:07 +0100)
commit8a65ab0cec5c7fe0740b9f30f551a3929f57c8bb
treece274d45b251122dbc718f01b4b6a1e4ccfba0be
parent3fd39627f0b94e34c4667430b932cf1ff4635223
commands to run after git pull is added
README