tree 53f009535c293fe068727a85d8fa0d785b17363b
parent fb3ea6dac65dfe497666393d0af3d1a02dc146b1
author cbrun <cedric.brun@obeo.fr> 1450874965 +0100
committer cbrun <cedric.brun@obeo.fr> 1450874965 +0100

Use the linux variant of SED to avoid failing while logging