1 Commits (587dcb60f786a4ce1e8b202b9ca3d80c7db46e0b)

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