removing steps is not the right approach
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 2 Mar 2015 11:49:49 +0000 (12:49 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 2 Mar 2015 11:49:49 +0000 (12:49 +0100)
commit073e40336f08758aa00b3c434c1c06bcbcea2527
tree7b2af996ddf7dfb9fa4d01ae4d4e8ef331f0bc34
parent19c93ba2aeeb1df1eab860945232c55c8e228c03
removing steps is not the right approach
scripts/builds.sh