remap builds; liquid=f18 reed=f20 warhol=f14
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 12 Jan 2014 12:12:29 +0000 (13:12 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 12 Jan 2014 12:12:29 +0000 (13:12 +0100)
commitd41d2d0fae62864019de6324d2abd8b0c64ccd3e
treec3a255666219817adc48a9606d11612873fa73b8
parent8e930286501836bb9f2bb32d75b23ba084d6ff91
remap builds; liquid=f18 reed=f20 warhol=f14
scripts/builds.sh