Samuel Mehrbrodt 3b9255bb41 Use pkill to kill process instead of killall ... Using killall does not work, it gives 'no process found'. Change-Id: I0e528ab8c0f6f0c4cb06ea5e6c436aecf2274688 Reviewed-on: https://gerrit.libreoffice.org/74679 Reviewed-by: Andras Timar <andras.timar@collabora.com> Tested-by: Andras Timar <andras.timar@collabora.com>		2019-06-25 11:35:50 +02:00
..
scripts	Use pkill to kill process instead of killall	2019-06-25 11:35:50 +02:00
.dockerignore	Docker bits	2017-10-22 07:53:42 +02:00
Dockerfile	Use pkill to kill process instead of killall	2019-06-25 11:35:50 +02:00
l10n-docker-nightly.sh	Move build options to distro-config	2019-06-12 09:36:45 +02:00