turn off gotan for now
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 20 Dec 2013 10:08:34 +0000 (11:08 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 20 Dec 2013 10:08:34 +0000 (11:08 +0100)
commit45571868d086f2247eab2990c3fdd2c58d256ab4
treea30fee71050cbc108ee664239542ffd4404e82c6
parent09f9c6fb09185bee2fe63a0783228eaa3fd2f1a9
turn off gotan for now
system/LocalSubstrate.inria.py