git://git.onelab.eu / infrastructure.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d91b3b) | patch
tweak for princeton -- drop 4.3
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 1 Jul 2010 13:29:34 +0000 (15:29 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 1 Jul 2010 13:29:34 +0000 (15:29 +0200)
commit984fd5bc17a0300900a722d752856e8a67963ea1
treedd170814e4f41c5843d9a11a8fb5768f79e56615tree | snapshot
parent9d91b3bea641731809289a0830f71ec45aa21750commit | diff
tweak for princeton  -- drop 4.3
scripts/all-modules-push.sh diff | blob | history
scripts/all-modules.sh diff | blob | history
infrastructure