1 Commits (fce79c5c68dbbd41f8d4cc990435d054fe5f7b11)

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