1 Commits (fa0752c8c4e0025b9de0a129e5fb0289c9e7cc78)

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