Remove integrated Dockerfiles that have been moved to separate repository

2 jobs for 73-remove-dockerfiles in 44 minutes and 20 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed build:debian:sid:amd64 #1296
linux docker

00:42:30

passed build:debian:sid:i386 #1297
linux docker

00:44:19