turnig off builds altogether
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 20 Dec 2013 10:07:02 +0000 (11:07 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 20 Dec 2013 10:07:02 +0000 (11:07 +0100)
commit9e5676b951556694596220384e34325b5ba23047
tree1effc2e22f7ed7f83cafe3a9438ebb13998c8c19
parente23e20d845e8d4fed5515642662f3e99bef0589b
turnig off builds altogether
scripts/builds.sh