1 Commits (c0d643a2b41fa2fd8d858a40a27837cfd7faf80f)

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