tree d49df776493a6b09a2cbe3f1431d2601e266e1aa
parent a1d75f9bf8d2c42dd65a05995d6f3ccfbdb0ce9c
author Laurent Goubet <laurent.goubet@obeo.fr> 1452067729 +0100
committer Laurent Goubet <laurent.goubet@obeo.fr> 1452067729 +0100

use the linux variant of sed during logging