nico 549b1a63fc add debian 8 to the docker CI chain 8 years ago
..
clone_and_test.sh 549b1a63fc add debian 8 to the docker CI chain 8 years ago
debian8.dockerfile 549b1a63fc add debian 8 to the docker CI chain 8 years ago
docker.md 549b1a63fc add debian 8 to the docker CI chain 8 years ago
ubuntu_16_04.dockerfile 549b1a63fc add debian 8 to the docker CI chain 8 years ago