Rory Z a1211891d7 style: put the dockerfile for CI into the .ci directory (#389) vor 4 Jahren
..
Dockerfile a1211891d7 style: put the dockerfile for CI into the .ci directory (#389) vor 4 Jahren
Dockerfile-centos a1211891d7 style: put the dockerfile for CI into the .ci directory (#389) vor 4 Jahren