updated for the new version of module tools - uses 2 separate workdirs for 4.3 and 5.0
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 18 Jun 2010 07:35:11 +0000 (09:35 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 18 Jun 2010 07:35:11 +0000 (09:35 +0200)
commitd0124f9b8e0b89447524629eef76876080cab9d6
treea803a0706d4284a0e63293dd33698571f73a517a
parent8763edd27e319e7fed850a9e0f02ce50209d1969
updated for the new version of module tools - uses 2 separate workdirs for 4.3 and 5.0
scripts/all-modules-push.sh
scripts/all-modules.sh