Faruk D 1ac6f321a7 New Docker images for CI ... * removed old Docker images * added new ubuntu and sl images with SageCal dependencies * updated travis configuration * added new compile script		2018-10-02 00:20:34 +02:00
..
Dockerfile	New Docker images for CI	2018-10-02 00:20:34 +02:00