1 Commits (56dc817cc0e738652cb100e006ded3f5870ea43d)

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