1 Commits (06cd3e03a24e23d2d838cda6eb1edd5e7474ad42)

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