1 Commits (afa1e1af16caa19e48de85d9d3697111ceeff9ce)

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