1 Commits (57b1a05ab5e953e8623ddf43ca443017803022a7)

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