tree 9ec7db6823dc28b693ebb0fc51a422965efb299e
parent 6a4ec43e77cc5ce543ef4abeb10d548810beab0c
author cbrun <cedric.brun@obeo.fr> 1434356695 +0200
committer cbrun <cedric.brun@obeo.fr> 1434356695 +0200

Use Sirius's global feature