Mercurial > sat_docs

diff scripts/launcher/launch.sh @ 83:8dd32aa49614

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
docker: pid files are put in /tmp to avoid conflict when restarting a container
author Goffi <goffi@goffi.org>
date Thu, 18 Feb 2016 17:19:50 +0100
parents fe116a11199b
children 4cd5475623eb
line wrap: on
line diff