diff scripts/launcher/launch.sh @ 113:885818d29012

docker (libervia_cont): replaced printf by eprintf for error messages
author Goffi <goffi@goffi.org>
date Mon, 29 Feb 2016 22:06:03 +0100
parents fe116a11199b
children 4cd5475623eb
line wrap: on
line diff