1 Commits (ee017d37be0cc0ac385498f58970df8ec0de6d0e)

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