1 Commits (f1cb3b3afdd9630a1cdd2f7fc4e44cb632529057)

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