path: root/.ci/
diff options
authorStefan Schmidt <>2018-11-19 14:24:52 +0100
committerStefan Schmidt <>2018-11-20 10:29:57 +0100
commitb8bcd7c2f307b8e30cadd6a1f8f5d610b360ad19 (patch)
tree2bf72c51cf261c7f633fa05752f4c49e891e2983 /.ci/
parentc60e4c7c24ae6f9d989c70dd7e0d29fe852c7630 (diff)
ci/dockerfiles: remove outdated files maintained elsewhere
For a long time now we maintain the needed dockerfiles in a different repo: Doing so allows use to easily use Docker Hub to build these images being used by Travis CI. The ones deleted here are outdated for a while now and of no real use anymore. Differential Revision:
Diffstat (limited to '.ci/')
0 files changed, 0 insertions, 0 deletions