1 Commits (a33d60e4e99d5f78200bdf2c2e9e5d09076aee49)

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