1 Commits (f5e870bcfab54bc9843087e11e14700856dc0aef)

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