turn off nint builds until something new shows up
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 May 2012 14:22:24 +0000 (16:22 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 May 2012 14:22:24 +0000 (16:22 +0200)
commit070a38b35eba062bf066e02025c6fc2e2b52b696
tree8ce919b1da0f37844e03b21a8b3f88a839e95757
parent7f7f4937def84acad70ed52779591bfb11404b69
turn off nint builds until something new shows up
scripts/builds.sh