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