move as much as we can to buzzcocks - only f18 remains on reed for now
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 9 Mar 2015 09:28:27 +0000 (10:28 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 9 Mar 2015 09:28:27 +0000 (10:28 +0100)
commitef3c2bfed955a14a1301134475579c94a85d5898
tree8dce7d2b0c781b50030526042a042c9d17f2c817
parent835054399d60f53fda2f1052f2f9975b23a8e51c
move as much as we can to buzzcocks - only f18 remains on reed for now
scripts/builds.sh