1 Commits (bf9d16cb7dcb97be9c93872e8a5aa591dd2fa2d3)

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