oops - usage was broken, still referred to global
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 11 Dec 2006 11:56:37 +0000 (11:56 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 11 Dec 2006 11:56:37 +0000 (11:56 +0000)
commita8c682a541cfd54f554219594f65d5410ad57618
treeae23f01b1ab7adc3da50216e068585fff55db6bf
parent3ab53c5221664528325a0edc7ca40c57eb783428
oops - usage was broken, still referred to global
Shell.py