1 Commits (53e8fa0ffe96c8d5c6b67c5e2c4368aef702b72a)

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