1 Commits (44e8dab53d112e2a366344a1e87ee57ac82485ff)

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