1 Commits (c37b5370eb3b82e2f5ccb30dbef93b5fed14c6cb)

Author SHA1 Message Date
  Jakob Ackermann dab38c375d [docker] drop the docker Makefile from the image (#6507) 7 years ago