1 Commits (2a2b46c62ee0ac2b42b8bd0f28e05642d0cee25b)

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