1 Commits (fa80ef09addd8a05ead4aea93fc86d2ec2142df9)

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