oops
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 25 Apr 2013 09:18:47 +0000 (11:18 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 25 Apr 2013 09:18:47 +0000 (11:18 +0200)
commit4e0a9e9be4d29de53686031b956f1997ac02bfea
treeb7060d94c8308c06f0f36d17b7cc37b74373b56f
parent8481e3c8b6f6776f08bece291044e478a530f5ae
oops
scripts/git-update.sh