2 Commits (1de03b3d32b9e4e5bc86aa9bfca948e592efd10d)

Author	SHA1	Message	Date
Michael Grupp	8fab3fe4c4	Work around wstool bug in build with Docker base image. (#1041) ... We have already a cloned source space in the base image, which can be buggy according to: https://github.com/vcstools/wstool/issues/77 This should unblock Travis and fix local builds.	2018-10-04 11:15:21 +02:00
Christoph Schütte	00813a4d6b	Introduce base image for melodic to speed up CI (#1021)	2018-09-26 11:16:45 +02:00