put back deathvegas
authorMohamed Larabi <mohamed.larabi@inria.fr>
Wed, 24 Apr 2013 12:40:39 +0000 (14:40 +0200)
committerMohamed Larabi <mohamed.larabi@inria.fr>
Wed, 24 Apr 2013 12:40:39 +0000 (14:40 +0200)
commit5da61dd790ffdd3d66dc43e902a32630a4df2dde
tree080028d953e8840f6e53dd903bc7ba4ccee27e94
parentb04620bb62db2323ab687f2d6811767df44c4608
put back deathvegas
system/LocalSubstrate.inria.py