config revisited
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 25 May 2010 07:21:01 +0000 (09:21 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 25 May 2010 07:21:01 +0000 (09:21 +0200)
commit8c0893c084989f05b63ae684c3b9d7a99e5d9f76
treebe1fd5afb8736049446271821f30fe88e30a7cef
parent7a8857888dbf8544b99ea77d204a47ba171100c2
config revisited
scripts/git-check.sh