1 Commits (4fd6e821985c8b88e07f29deee1feda5537e9cb8)

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